%--------------------------------------------------------------------------
% File     : SYN101-1.010 : TPTP v8.2.0. Bugfixed v1.2.0.
% Domain   : Syntactic
% Problem  : Plaisted problem n(t(2,10),5)
% Version  : Biased.
%            Theorem formulation : Size 10, 5 variables.
% English  :

% Refs     : [Pla94] Plaisted (1994), The Search Efficiency of Theorem Prov
% Source   : [Pla94]
% Names    :

% Status   : Unsatisfiable
% Rating   : ? v2.0.0
% Syntax   :

% Comments : Biased away from various calculi.
% Bugfixes : v1.2.0 - Clauses corrected.
%          : v1.2.0 - Renamed to SYN101-1.010:005.
%--------------------------------------------------------------------------