the sailboat is a Nitella.
sent1: the fact that the booby does not admeasure entrance and is not a kind of a cardinalfish does not hold if something is not a Secretariat. sent2: if there is something such that it is not a Secretariat then that the booby does admeasure entrance and is not a kind of a cardinalfish is not true. sent3: the physique is not a kind of a Secretariat. sent4: if something is not upland or it is not non-alphanumeric or both the vaccine does caucus bloodmobile. sent5: if something does caucus bloodmobile and is a kind of a simplification the booby does not admeasure candlenut. sent6: if the fact that something does not admeasure entrance and is not a cardinalfish does not hold then it does admeasure candlenut. sent7: if something admeasures entrance it admeasures candlenut. sent8: everything is not upland and/or is alphanumeric. sent9: if there is something such that it is alphanumeric then the vaccine caucuses bloodmobile. sent10: if that something does not admeasure stoat and is not a culvert does not hold it is a bohemian.
sent8 -> int1: the spatchcock is non-upland or it is alphanumeric or both.; int1 -> int2: there is something such that it is non-upland and/or not non-alphanumeric.; int2 & sent4 -> int3: the vaccine does caucus bloodmobile.; void -> assump1: Let's assume that the vaccine is a simplification.; int3 & assump1 -> int4: the vaccine caucuses bloodmobile and is a kind of a simplification.; int4 -> int5: something does caucus bloodmobile and it is a simplification.; int5 & sent5 -> int6: the booby does not admeasure candlenut.; sent6 -> int7: if that the booby does not admeasure entrance and it is not a cardinalfish is wrong it does admeasure candlenut.; sent3 -> int8: there is something such that it is not a kind of a Secretariat.; int8 & sent1 -> int9: the fact that the booby does not admeasure entrance and is not a kind of a cardinalfish is not true.; int7 & int9 -> int10: the booby admeasures candlenut.; int6 & int10 -> int11: this is contradiction.; [assump1] & int11 -> int12: the vaccine is not a kind of a simplification.;
$hypothesis$ = the sailboat is a Nitella. ; $context$ = sent1: the fact that the booby does not admeasure entrance and is not a kind of a cardinalfish does not hold if something is not a Secretariat. sent2: if there is something such that it is not a Secretariat then that the booby does admeasure entrance and is not a kind of a cardinalfish is not true. sent3: the physique is not a kind of a Secretariat. sent4: if something is not upland or it is not non-alphanumeric or both the vaccine does caucus bloodmobile. sent5: if something does caucus bloodmobile and is a kind of a simplification the booby does not admeasure candlenut. sent6: if the fact that something does not admeasure entrance and is not a cardinalfish does not hold then it does admeasure candlenut. sent7: if something admeasures entrance it admeasures candlenut. sent8: everything is not upland and/or is alphanumeric. sent9: if there is something such that it is alphanumeric then the vaccine caucuses bloodmobile. sent10: if that something does not admeasure stoat and is not a culvert does not hold it is a bohemian. ; $proof$ = 
sent8 -> int1: the spatchcock is non-upland or it is alphanumeric or both.; int1 -> int2: there is something such that it is non-upland and/or not non-alphanumeric.; int2 & sent4 -> int3: the vaccine does caucus bloodmobile.; void -> assump1: Let's assume that the vaccine is a simplification.; int3 & assump1 -> int4: the vaccine caucuses bloodmobile and is a kind of a simplification.; int4 -> int5: something does caucus bloodmobile and it is a simplification.; int5 & sent5 -> int6: the booby does not admeasure candlenut.; sent6 -> int7: if that the booby does not admeasure entrance and it is not a cardinalfish is wrong it does admeasure candlenut.; sent3 -> int8: there is something such that it is not a kind of a Secretariat.; int8 & sent1 -> int9: the fact that the booby does not admeasure entrance and is not a kind of a cardinalfish is not true.; int7 & int9 -> int10: the booby admeasures candlenut.; int6 & int10 -> int11: this is contradiction.; [assump1] & int11 -> int12: the vaccine is not a kind of a simplification.; __UNKNOWN__