the Turner is bicylindrical and it nickels extern.
sent1: the fact that the space is non-bicylindrical is correct if the fact that the tux is photometric but it is not a firewall does not hold. sent2: that the space does not vaticinate and is not aversive is wrong. sent3: the space does vaticinate if that it does not vaticinate and is not aversive is false. sent4: the space is not dimorphic if it does vaticinate and it is photometric. sent5: the tux is bicylindrical and is dimorphic. sent6: that the space does vaticinate but it is not aversive is not right. sent7: if something is not pyrographic but it is a firewall then the Rice is photometric. sent8: if the space is a firewall the tux is pyrographic. sent9: if the space is not dimorphic the Turner is bicylindrical. sent10: if the fact that the space is not photometric is not wrong then it is a firewall. sent11: The extern does nickel Turner. sent12: the Turner does nickel extern. sent13: if the tux does not nickel extern then the Turner is pyrographic.
void -> assump1: Let's assume that the fact that the space is not photometric is not false.; sent10 & assump1 -> int1: the space is a firewall.; int1 & sent8 -> int2: the tux is pyrographic.; sent3 & sent2 -> int3: the space does vaticinate.;
the fact that the Turner is bicylindrical and it nickels extern is wrong.
$hypothesis$ = the Turner is bicylindrical and it nickels extern. ; $context$ = sent1: the fact that the space is non-bicylindrical is correct if the fact that the tux is photometric but it is not a firewall does not hold. sent2: that the space does not vaticinate and is not aversive is wrong. sent3: the space does vaticinate if that it does not vaticinate and is not aversive is false. sent4: the space is not dimorphic if it does vaticinate and it is photometric. sent5: the tux is bicylindrical and is dimorphic. sent6: that the space does vaticinate but it is not aversive is not right. sent7: if something is not pyrographic but it is a firewall then the Rice is photometric. sent8: if the space is a firewall the tux is pyrographic. sent9: if the space is not dimorphic the Turner is bicylindrical. sent10: if the fact that the space is not photometric is not wrong then it is a firewall. sent11: The extern does nickel Turner. sent12: the Turner does nickel extern. sent13: if the tux does not nickel extern then the Turner is pyrographic. ; $proof$ = 
void -> assump1: Let's assume that the fact that the space is not photometric is not false.; sent10 & assump1 -> int1: the space is a firewall.; int1 & sent8 -> int2: the tux is pyrographic.; sent3 & sent2 -> int3: the space does vaticinate.; __UNKNOWN__