the fact that the mortarboard is nonhuman is not wrong.
sent1: if the skank is a cutoff the garmentmaker is a Psocidae. sent2: the fact that something is a proctor is right if it nettles passport. sent3: the mortarboard is a kind of an aperture. sent4: the fact that something does emerge if the fact that it is a Psocidae hold is true. sent5: the mortarboard is a ciderpress if the skank does emerge. sent6: that the skank is a cutoff is not false. sent7: the Moon is not nonhuman and is not uninucleate. sent8: if the Trinidadian is nonhuman then it is a kind of a Spock. sent9: if something does not emerge the fact that it is a kind of a Psocidae and it is not a cutoff does not hold. sent10: something is a kind of a buskin if it is marsupial. sent11: if something is a ciderpress it is nonhuman. sent12: the Moon does not flame if it is human. sent13: that the longbow is not a ciderpress hold if something is not a ciderpress or does not flame or both. sent14: the skank is a cutoff and a ciderpress. sent15: if the skank is a ciderpress then the mortarboard does emerge. sent16: the skank is a cutoff and is a Psocidae.
sent16 -> int1: the fact that the skank is a kind of a Psocidae is right.; sent4 -> int2: if the skank is a Psocidae then it does emerge.; int1 & int2 -> int3: the skank emerges.; int3 & sent5 -> int4: the mortarboard is a ciderpress.; sent11 -> int5: if the mortarboard is a kind of a ciderpress then it is nonhuman.; int4 & int5 -> hypothesis;
the garmentmaker is a Psocidae.
sent7 -> int6: the Moon is not nonhuman.; sent12 & int6 -> int7: the Moon does not flame.; int7 -> int8: either the Moon is not a ciderpress or it does not flame or both.; int8 -> int9: either something is not a ciderpress or it does not flame or both.; int9 & sent13 -> int10: the longbow is not a ciderpress.; int10 -> int11: there is something such that it is not a ciderpress.;
$hypothesis$ = the fact that the mortarboard is nonhuman is not wrong. ; $context$ = sent1: if the skank is a cutoff the garmentmaker is a Psocidae. sent2: the fact that something is a proctor is right if it nettles passport. sent3: the mortarboard is a kind of an aperture. sent4: the fact that something does emerge if the fact that it is a Psocidae hold is true. sent5: the mortarboard is a ciderpress if the skank does emerge. sent6: that the skank is a cutoff is not false. sent7: the Moon is not nonhuman and is not uninucleate. sent8: if the Trinidadian is nonhuman then it is a kind of a Spock. sent9: if something does not emerge the fact that it is a kind of a Psocidae and it is not a cutoff does not hold. sent10: something is a kind of a buskin if it is marsupial. sent11: if something is a ciderpress it is nonhuman. sent12: the Moon does not flame if it is human. sent13: that the longbow is not a ciderpress hold if something is not a ciderpress or does not flame or both. sent14: the skank is a cutoff and a ciderpress. sent15: if the skank is a ciderpress then the mortarboard does emerge. sent16: the skank is a cutoff and is a Psocidae. ; $proof$ = 
sent16 -> int1: the fact that the skank is a kind of a Psocidae is right.; sent4 -> int2: if the skank is a Psocidae then it does emerge.; int1 & int2 -> int3: the skank emerges.; int3 & sent5 -> int4: the mortarboard is a ciderpress.; sent11 -> int5: if the mortarboard is a kind of a ciderpress then it is nonhuman.; int4 & int5 -> hypothesis; __PROVED__