the fact that the copyist does overturn copyist is true.
sent1: that the butyrin is a kind of an ejection is true. sent2: if something that is not true-false does not ramble then it does not overturn reform. sent3: the film is not a ramble if the copyist is not an ejection. sent4: if the butyrin does not overturn reform then the copyist does not overturn copyist. sent5: if the copyist is a kind of non-true-false thing that does not ramble it does not overturn copyist. sent6: something is not an ejection if it does not group mutability. sent7: if something does not overturn reform that the allegorizer does not group mutability and is true-false does not hold. sent8: the copyist is not a kind of an ejection if there exists something such that the fact that it does not group mutability and it is true-false is not right. sent9: the butyrin is not true-false. sent10: if the fact that something rambles is not incorrect that it does not group mutability is not false. sent11: the copyist overturns copyist if the allegorizer does overturns copyist. sent12: everything is a whiffletree.
sent10 -> int1: the butyrin does not group mutability if it is a ramble.; void -> assump1: Let's assume that the butyrin is a ramble.; int1 & assump1 -> int2: the butyrin does not group mutability.; sent6 -> int3: if the butyrin does not group mutability then it is not an ejection.; int2 & int3 -> int4: the butyrin is not an ejection.; int4 & sent1 -> int5: this is contradiction.; [assump1] & int5 -> int6: the butyrin is not a ramble.; int6 & sent9 -> int7: the butyrin is not true-false and it does not ramble.; sent2 -> int8: if the butyrin is not true-false and does not ramble the fact that it does not overturn reform hold.; int7 & int8 -> int9: the butyrin does not overturn reform.; int9 & sent4 -> hypothesis;
the copyist overturns copyist.
$hypothesis$ = the fact that the copyist does overturn copyist is true. ; $context$ = sent1: that the butyrin is a kind of an ejection is true. sent2: if something that is not true-false does not ramble then it does not overturn reform. sent3: the film is not a ramble if the copyist is not an ejection. sent4: if the butyrin does not overturn reform then the copyist does not overturn copyist. sent5: if the copyist is a kind of non-true-false thing that does not ramble it does not overturn copyist. sent6: something is not an ejection if it does not group mutability. sent7: if something does not overturn reform that the allegorizer does not group mutability and is true-false does not hold. sent8: the copyist is not a kind of an ejection if there exists something such that the fact that it does not group mutability and it is true-false is not right. sent9: the butyrin is not true-false. sent10: if the fact that something rambles is not incorrect that it does not group mutability is not false. sent11: the copyist overturns copyist if the allegorizer does overturns copyist. sent12: everything is a whiffletree. ; $proof$ = 
sent10 -> int1: the butyrin does not group mutability if it is a ramble.; void -> assump1: Let's assume that the butyrin is a ramble.; int1 & assump1 -> int2: the butyrin does not group mutability.; sent6 -> int3: if the butyrin does not group mutability then it is not an ejection.; int2 & int3 -> int4: the butyrin is not an ejection.; int4 & sent1 -> int5: this is contradiction.; [assump1] & int5 -> int6: the butyrin is not a ramble.; int6 & sent9 -> int7: the butyrin is not true-false and it does not ramble.; sent2 -> int8: if the butyrin is not true-false and does not ramble the fact that it does not overturn reform hold.; int7 & int8 -> int9: the butyrin does not overturn reform.; int9 & sent4 -> hypothesis; __DISPROVED__