the fact that the sampan is ambulacral is not false.
sent1: something is not a kind of a collagenase or it is not a fisherman or both. sent2: the sampan is ambulacral if the filler is not a kind of a collagenase and is not thyrotoxic. sent3: if the Berry is not a menu then that it is not sterile but asymmetrical is false. sent4: either something is a collagenase or it is not a fisherman or both. sent5: there exists something such that it is not a collagenase or thyrotoxic or both. sent6: the fact that the fact that the silverpoint is not a fisherman and it is not a collagenase is right is not right. sent7: that the silverpoint is a kind of a collagenase is right if the filler is a kind of non-thyrotoxic thing that is a fisherman. sent8: the silverpoint is not a fisherman if that the filler is not a kind of a collagenase and it is not thyrotoxic is wrong. sent9: something is not characteristic or not a Kaochlor or both. sent10: if the filler is a collagenase the fact that the sampan is not thyrotoxic is not false. sent11: something is not a collagenase or a fisherman or both. sent12: something is a kind of a wattle that does transform if it is not a kind of a chylomicron. sent13: the Berry is not a kind of a menu. sent14: that something is not a fisherman or it is not a characteristic or both is not true if it is not a Kaochlor. sent15: the silverpoint is not a chylomicron if the fact that the Berry is not sterile but it is asymmetrical is not right. sent16: something either is thyrotoxic or is not a collagenase or both. sent17: something is not a Kaochlor or it is not sporadic or both if it is a kind of a wattle. sent18: the silverpoint is not thyrotoxic and does not hop.
void -> assump1: Let's assume that that the filler is not a collagenase and it is non-thyrotoxic is wrong.; sent8 & assump1 -> int1: the silverpoint is not a fisherman.;
the sampan is not ambulacral.
sent14 -> int2: the fact that the filler is not a fisherman and/or it is not a characteristic is incorrect if it is not a Kaochlor.; sent17 -> int3: the silverpoint is not a kind of a Kaochlor and/or it is not sporadic if it wattles.; sent12 -> int4: if the silverpoint is not a chylomicron it is a wattle that transforms.; sent3 & sent13 -> int5: the fact that the Berry is non-sterile thing that is asymmetrical is not correct.; sent15 & int5 -> int6: the silverpoint is not a chylomicron.; int4 & int6 -> int7: the silverpoint is a kind of a wattle and it transforms.; int7 -> int8: the silverpoint wattles.; int3 & int8 -> int9: the silverpoint is not a Kaochlor and/or it is not sporadic.; int9 -> int10: something is not a Kaochlor and/or it is not sporadic.;
$hypothesis$ = the fact that the sampan is ambulacral is not false. ; $context$ = sent1: something is not a kind of a collagenase or it is not a fisherman or both. sent2: the sampan is ambulacral if the filler is not a kind of a collagenase and is not thyrotoxic. sent3: if the Berry is not a menu then that it is not sterile but asymmetrical is false. sent4: either something is a collagenase or it is not a fisherman or both. sent5: there exists something such that it is not a collagenase or thyrotoxic or both. sent6: the fact that the fact that the silverpoint is not a fisherman and it is not a collagenase is right is not right. sent7: that the silverpoint is a kind of a collagenase is right if the filler is a kind of non-thyrotoxic thing that is a fisherman. sent8: the silverpoint is not a fisherman if that the filler is not a kind of a collagenase and it is not thyrotoxic is wrong. sent9: something is not characteristic or not a Kaochlor or both. sent10: if the filler is a collagenase the fact that the sampan is not thyrotoxic is not false. sent11: something is not a collagenase or a fisherman or both. sent12: something is a kind of a wattle that does transform if it is not a kind of a chylomicron. sent13: the Berry is not a kind of a menu. sent14: that something is not a fisherman or it is not a characteristic or both is not true if it is not a Kaochlor. sent15: the silverpoint is not a chylomicron if the fact that the Berry is not sterile but it is asymmetrical is not right. sent16: something either is thyrotoxic or is not a collagenase or both. sent17: something is not a Kaochlor or it is not sporadic or both if it is a kind of a wattle. sent18: the silverpoint is not thyrotoxic and does not hop. ; $proof$ = 
void -> assump1: Let's assume that that the filler is not a collagenase and it is non-thyrotoxic is wrong.; sent8 & assump1 -> int1: the silverpoint is not a fisherman.; __UNKNOWN__