the fact that the fact that the armory is not a chatter and not a sharkskin is wrong is not false.
sent1: something that does not chatter and is a kind of a sharkskin is not a kind of a sugariness. sent2: something is a sugariness if it is a codger. sent3: the armory is not a kind of a sharkskin. sent4: something is not a codger if it is not a sharkskin and not actinometric. sent5: the armory is not a chatter if the crepe is a kind of a codger and is actinometric. sent6: the armory is actinometric. sent7: if that the crepe does not neglect fowl and/or is a kind of a tauon is not true it is a codger. sent8: the armory is not a sharkskin if it is non-allopatric thing that does not neglect dram. sent9: the fact that the armory is not a kind of a chatter and is a kind of a sharkskin is incorrect. sent10: that the armory is a kind of an angst is true if it is a flytrap. sent11: the armory is a kind of an interplay. sent12: the armory is not a sugariness if it does not chatter and it is a kind of a sharkskin. sent13: if something does not chatter and is not a sharkskin then it is not a kind of a sugariness. sent14: the companionway does not Romanize and is not a codger. sent15: the fact that the armory is a codger is true if it is actinometric.
sent13 -> int1: the fact that the armory is not a sugariness hold if it does not chatter and is not a sharkskin.; void -> assump1: Let's assume that the armory is not a chatter and it is not a sharkskin.; int1 & assump1 -> int2: the armory is not a sugariness.; sent2 -> int3: if the fact that the armory is a codger is true it is a sugariness.; sent15 & sent6 -> int4: the armory is a kind of a codger.; int3 & int4 -> int5: the armory is a sugariness.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the armory is not a kind of a chatter and it is not a sharkskin.
$hypothesis$ = the fact that the fact that the armory is not a chatter and not a sharkskin is wrong is not false. ; $context$ = sent1: something that does not chatter and is a kind of a sharkskin is not a kind of a sugariness. sent2: something is a sugariness if it is a codger. sent3: the armory is not a kind of a sharkskin. sent4: something is not a codger if it is not a sharkskin and not actinometric. sent5: the armory is not a chatter if the crepe is a kind of a codger and is actinometric. sent6: the armory is actinometric. sent7: if that the crepe does not neglect fowl and/or is a kind of a tauon is not true it is a codger. sent8: the armory is not a sharkskin if it is non-allopatric thing that does not neglect dram. sent9: the fact that the armory is not a kind of a chatter and is a kind of a sharkskin is incorrect. sent10: that the armory is a kind of an angst is true if it is a flytrap. sent11: the armory is a kind of an interplay. sent12: the armory is not a sugariness if it does not chatter and it is a kind of a sharkskin. sent13: if something does not chatter and is not a sharkskin then it is not a kind of a sugariness. sent14: the companionway does not Romanize and is not a codger. sent15: the fact that the armory is a codger is true if it is actinometric. ; $proof$ = 
sent13 -> int1: the fact that the armory is not a sugariness hold if it does not chatter and is not a sharkskin.; void -> assump1: Let's assume that the armory is not a chatter and it is not a sharkskin.; int1 & assump1 -> int2: the armory is not a sugariness.; sent2 -> int3: if the fact that the armory is a codger is true it is a sugariness.; sent15 & sent6 -> int4: the armory is a kind of a codger.; int3 & int4 -> int5: the armory is a sugariness.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__