the Pablum is a kind of a nationalist.
sent1: if the transduction is a Butterfield and it is a kind of a nautilus then the abomasum does not gripe siamang. sent2: if there is something such that the fact that it does not gripe siamang and it is dipterous is wrong then the abomasum is not a kind of a nautilus. sent3: if the fact that the wally is not dipterous and/or it is not a nautilus is not correct the Pablum is not a kind of a nationalist. sent4: the transduction is not a pap. sent5: if the transduction is not a pap then it is a Butterfield. sent6: the fact that the wally is not dipterous and/or is not a nautilus is not correct if the transduction is not a nautilus. sent7: if something is not a pap then it is a kind of a nationalist. sent8: if something is not a butler then it gripes siamang and does predate. sent9: the wally does predate. sent10: if the wally predates that it does not gripe siamang and is dipterous is not correct. sent11: the abomasum is not a butler.
sent5 & sent4 -> int1: the transduction is a kind of a Butterfield.; void -> assump1: Let's assume that that the transduction is a nautilus hold.; int1 & assump1 -> int2: the transduction is a Butterfield and it is a nautilus.; int2 & sent1 -> int3: the abomasum does not gripe siamang.; sent8 -> int4: if the abomasum is not a kind of a butler then it does gripe siamang and it predates.; int4 & sent11 -> int5: the abomasum gripes siamang and it does predate.; int5 -> int6: the abomasum gripes siamang.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the transduction is not a kind of a nautilus.; int8 & sent6 -> int9: that the wally is not dipterous and/or it is not a nautilus is wrong.; int9 & sent3 -> hypothesis;
the Pablum is a nationalist.
sent7 -> int10: the Pablum is a nationalist if it is not a kind of a pap.; sent10 & sent9 -> int11: the fact that the wally does not gripe siamang and is dipterous does not hold.; int11 -> int12: there is something such that that it does not gripe siamang and is dipterous is wrong.; int12 & sent2 -> int13: the abomasum is not a kind of a nautilus.; int13 -> int14: there is something such that it is not a nautilus.;
$hypothesis$ = the Pablum is a kind of a nationalist. ; $context$ = sent1: if the transduction is a Butterfield and it is a kind of a nautilus then the abomasum does not gripe siamang. sent2: if there is something such that the fact that it does not gripe siamang and it is dipterous is wrong then the abomasum is not a kind of a nautilus. sent3: if the fact that the wally is not dipterous and/or it is not a nautilus is not correct the Pablum is not a kind of a nationalist. sent4: the transduction is not a pap. sent5: if the transduction is not a pap then it is a Butterfield. sent6: the fact that the wally is not dipterous and/or is not a nautilus is not correct if the transduction is not a nautilus. sent7: if something is not a pap then it is a kind of a nationalist. sent8: if something is not a butler then it gripes siamang and does predate. sent9: the wally does predate. sent10: if the wally predates that it does not gripe siamang and is dipterous is not correct. sent11: the abomasum is not a butler. ; $proof$ = 
sent5 & sent4 -> int1: the transduction is a kind of a Butterfield.; void -> assump1: Let's assume that that the transduction is a nautilus hold.; int1 & assump1 -> int2: the transduction is a Butterfield and it is a nautilus.; int2 & sent1 -> int3: the abomasum does not gripe siamang.; sent8 -> int4: if the abomasum is not a kind of a butler then it does gripe siamang and it predates.; int4 & sent11 -> int5: the abomasum gripes siamang and it does predate.; int5 -> int6: the abomasum gripes siamang.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the transduction is not a kind of a nautilus.; int8 & sent6 -> int9: that the wally is not dipterous and/or it is not a nautilus is wrong.; int9 & sent3 -> hypothesis; __DISPROVED__