the main is a Virginian.
sent1: something that is a kind of a cacophony is not a deuce and is not apteral. sent2: the splicer is a cacophony if the Nazarene is not phonetics. sent3: if the plasm is an imprinting that the manipulator imprinting hold. sent4: the plasm is a kind of an affined and it is a kind of an imprinting. sent5: the ammonite breakfasts battlefield and does accept unseemliness. sent6: the plasm is affined. sent7: if the Nazarene is a danaid and is phonetics then the manipulator does not accept globulin. sent8: an imprinting accepts globulin. sent9: that the Nazarene is a danaid is true if the ammonite breakfasts battlefield. sent10: the ammonite does accept unseemliness.
sent5 -> int1: the ammonite does breakfast battlefield.; int1 & sent9 -> int2: the Nazarene is a danaid.; void -> assump1: Let's assume that the Nazarene is phonetics.; int2 & assump1 -> int3: the Nazarene is a danaid and is phonetics.; int3 & sent7 -> int4: the manipulator does not accept globulin.; sent8 -> int5: if the manipulator does imprint then the fact that it accepts globulin is not wrong.; sent4 -> int6: the plasm does imprint.; sent3 & int6 -> int7: the fact that the manipulator is an imprinting hold.; int5 & int7 -> int8: the manipulator does accept globulin.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the Nazarene is not phonetics.; int10 & sent2 -> int11: the splicer is a cacophony.; sent1 -> int12: the splicer is not a deuce and it is not apteral if it is a kind of a cacophony.; int11 & int12 -> int13: the splicer is both not a deuce and not apteral.;
$hypothesis$ = the main is a Virginian. ; $context$ = sent1: something that is a kind of a cacophony is not a deuce and is not apteral. sent2: the splicer is a cacophony if the Nazarene is not phonetics. sent3: if the plasm is an imprinting that the manipulator imprinting hold. sent4: the plasm is a kind of an affined and it is a kind of an imprinting. sent5: the ammonite breakfasts battlefield and does accept unseemliness. sent6: the plasm is affined. sent7: if the Nazarene is a danaid and is phonetics then the manipulator does not accept globulin. sent8: an imprinting accepts globulin. sent9: that the Nazarene is a danaid is true if the ammonite breakfasts battlefield. sent10: the ammonite does accept unseemliness. ; $proof$ = 
sent5 -> int1: the ammonite does breakfast battlefield.; int1 & sent9 -> int2: the Nazarene is a danaid.; void -> assump1: Let's assume that the Nazarene is phonetics.; int2 & assump1 -> int3: the Nazarene is a danaid and is phonetics.; int3 & sent7 -> int4: the manipulator does not accept globulin.; sent8 -> int5: if the manipulator does imprint then the fact that it accepts globulin is not wrong.; sent4 -> int6: the plasm does imprint.; sent3 & int6 -> int7: the fact that the manipulator is an imprinting hold.; int5 & int7 -> int8: the manipulator does accept globulin.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the Nazarene is not phonetics.; int10 & sent2 -> int11: the splicer is a cacophony.; sent1 -> int12: the splicer is not a deuce and it is not apteral if it is a kind of a cacophony.; int11 & int12 -> int13: the splicer is both not a deuce and not apteral.; __UNKNOWN__