the Federalist is not a perspirer.
sent1: The Rocroi does accelerate desktop. sent2: the grotesque is not a Luke or it does not troll pornographer or both if the Federalist is not a Adenanthera. sent3: the grotesque is a Luke or it does not troll pornographer or both if the Federalist is not a kind of a Adenanthera. sent4: the desktop does not accelerate Rocroi if the yardstick does not accelerate grotesque. sent5: the grotesque is not phenotypical if the Federalist does not accelerate oxygen but it is a kind of a perspirer. sent6: something does not accelerate oxygen but it is a kind of a perspirer if it is a shorts. sent7: the desktop does accelerate Rocroi. sent8: if the grotesque is not a kind of a Luke and/or it does not troll pornographer then the yardstick does not accelerate grotesque. sent9: the grotesque is not a Luke and/or it does troll pornographer if the Federalist is not a Adenanthera. sent10: if that something is a Adenanthera but it does not troll pornographer does not hold that it is shorts is not false. sent11: the grotesque is a kind of a Luke or it does not troll pornographer or both. sent12: the Federalist is phenotypical. sent13: something does not accelerate grotesque if it is phenotypical thing that does accelerate Rocroi. sent14: the Federalist is shorts if it does not accelerate oxygen. sent15: if something is a perspirer and is phenotypical then it does not accelerate oxygen. sent16: if something is not shorts then that the fact that it does not accelerate oxygen and is phenotypical is true does not hold.
void -> assump1: Let's assume that the fact that the Federalist is a perspirer is not wrong.; assump1 & sent12 -> int1: the Federalist is a perspirer and it is phenotypical.; sent15 -> int2: if the Federalist is a perspirer and it is phenotypical then it does not accelerate oxygen.; int1 & int2 -> int3: the Federalist does not accelerate oxygen.;
the grotesque is not phenotypical.
sent6 -> int4: if the Federalist is a shorts it does not accelerate oxygen and it is a perspirer.; sent10 -> int5: the Federalist is a shorts if the fact that that it is a Adenanthera and it does not troll pornographer hold does not hold.;
$hypothesis$ = the Federalist is not a perspirer. ; $context$ = sent1: The Rocroi does accelerate desktop. sent2: the grotesque is not a Luke or it does not troll pornographer or both if the Federalist is not a Adenanthera. sent3: the grotesque is a Luke or it does not troll pornographer or both if the Federalist is not a kind of a Adenanthera. sent4: the desktop does not accelerate Rocroi if the yardstick does not accelerate grotesque. sent5: the grotesque is not phenotypical if the Federalist does not accelerate oxygen but it is a kind of a perspirer. sent6: something does not accelerate oxygen but it is a kind of a perspirer if it is a shorts. sent7: the desktop does accelerate Rocroi. sent8: if the grotesque is not a kind of a Luke and/or it does not troll pornographer then the yardstick does not accelerate grotesque. sent9: the grotesque is not a Luke and/or it does troll pornographer if the Federalist is not a Adenanthera. sent10: if that something is a Adenanthera but it does not troll pornographer does not hold that it is shorts is not false. sent11: the grotesque is a kind of a Luke or it does not troll pornographer or both. sent12: the Federalist is phenotypical. sent13: something does not accelerate grotesque if it is phenotypical thing that does accelerate Rocroi. sent14: the Federalist is shorts if it does not accelerate oxygen. sent15: if something is a perspirer and is phenotypical then it does not accelerate oxygen. sent16: if something is not shorts then that the fact that it does not accelerate oxygen and is phenotypical is true does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Federalist is a perspirer is not wrong.; assump1 & sent12 -> int1: the Federalist is a perspirer and it is phenotypical.; sent15 -> int2: if the Federalist is a perspirer and it is phenotypical then it does not accelerate oxygen.; int1 & int2 -> int3: the Federalist does not accelerate oxygen.; __UNKNOWN__