the fact that the culverin does subside HND if the mower is skinny does not hold.
sent1: something is unpreventable if it is toneless. sent2: if there exists something such that that it is unpreventable and it is not a formation is wrong the culverin is not toneless. sent3: the swing does idealize moronity if the fact that the culverin is a skinny is not incorrect. sent4: something subsides HND if it does not idealize moronity. sent5: if the culverin is a kind of toned thing that does idealize moronity the mower is not skinny. sent6: there is something such that the fact that it is unpreventable and it is not a kind of a formation is incorrect.
sent6 & sent2 -> int1: the culverin is not toneless.; void -> assump2: Let's assume that the culverin idealizes moronity.; int1 & assump2 -> int2: the culverin is not toneless but it idealizes moronity.; int2 & sent5 -> int3: the mower is not a skinny.; void -> assump1: Let's assume that the mower is skinny.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the culverin does not idealize moronity.; sent4 -> int6: the culverin does subside HND if that it does not idealize moronity is right.; int5 & int6 -> int7: the culverin subsides HND.; [assump1] & int7 -> hypothesis;
the swing is unpreventable.
sent1 -> int8: if the swing is toneless then it is unpreventable.;
$hypothesis$ = the fact that the culverin does subside HND if the mower is skinny does not hold. ; $context$ = sent1: something is unpreventable if it is toneless. sent2: if there exists something such that that it is unpreventable and it is not a formation is wrong the culverin is not toneless. sent3: the swing does idealize moronity if the fact that the culverin is a skinny is not incorrect. sent4: something subsides HND if it does not idealize moronity. sent5: if the culverin is a kind of toned thing that does idealize moronity the mower is not skinny. sent6: there is something such that the fact that it is unpreventable and it is not a kind of a formation is incorrect. ; $proof$ = 
sent6 & sent2 -> int1: the culverin is not toneless.; void -> assump2: Let's assume that the culverin idealizes moronity.; int1 & assump2 -> int2: the culverin is not toneless but it idealizes moronity.; int2 & sent5 -> int3: the mower is not a skinny.; void -> assump1: Let's assume that the mower is skinny.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the culverin does not idealize moronity.; sent4 -> int6: the culverin does subside HND if that it does not idealize moronity is right.; int5 & int6 -> int7: the culverin subsides HND.; [assump1] & int7 -> hypothesis; __DISPROVED__