the fact that that the flange is abundant hold if the swaggerer is a stabile does not hold.
sent1: if the fact that something services transalpine and it refaces T hold then the kernite fractures hearts. sent2: if there is something such that it is a plutocrat that specifies snood then the swaggerer does fracture flange. sent3: there exists something such that it is not a kind of a plutocrat. sent4: something is not a plutocrat and specifies snood. sent5: if something does not service transalpine but it refaces T the kernite fractures hearts. sent6: if something does fracture flange and it is a stabile it is not a compression. sent7: if the toe is innocuous and a Tropaeolum then it is not a stabile. sent8: if there exists something such that it is not a plutocrat and it does specify snood then the swaggerer fractures flange. sent9: the T does not service transalpine but it refaces T. sent10: the captor is a kind of a Francophile. sent11: if the swaggerer is not a compression then the kernite refaces Orangeman. sent12: if the swaggerer is a compression and is a stabile it does not reface Orangeman. sent13: there exists something such that it does surround. sent14: the flange is not non-abundant if something that does reface Orangeman does fracture hearts.
sent4 & sent8 -> int1: the swaggerer does fracture flange.; void -> assump1: Let's assume that the swaggerer is a kind of a stabile.; int1 & assump1 -> int2: the swaggerer fractures flange and it is a stabile.; sent6 -> int3: if the swaggerer does fracture flange and is a kind of a stabile it is not a compression.; int2 & int3 -> int4: the swaggerer is not a compression.; int4 & sent11 -> int5: the kernite refaces Orangeman.; sent9 -> int6: something does not service transalpine and does reface T.; int6 & sent5 -> int7: the kernite does fracture hearts.; int5 & int7 -> int8: the kernite does reface Orangeman and it does fracture hearts.; int8 -> int9: something refaces Orangeman and it does fracture hearts.; int9 & sent14 -> int10: the flange is abundant.; [assump1] & int10 -> hypothesis;
$hypothesis$ = the fact that that the flange is abundant hold if the swaggerer is a stabile does not hold. ; $context$ = sent1: if the fact that something services transalpine and it refaces T hold then the kernite fractures hearts. sent2: if there is something such that it is a plutocrat that specifies snood then the swaggerer does fracture flange. sent3: there exists something such that it is not a kind of a plutocrat. sent4: something is not a plutocrat and specifies snood. sent5: if something does not service transalpine but it refaces T the kernite fractures hearts. sent6: if something does fracture flange and it is a stabile it is not a compression. sent7: if the toe is innocuous and a Tropaeolum then it is not a stabile. sent8: if there exists something such that it is not a plutocrat and it does specify snood then the swaggerer fractures flange. sent9: the T does not service transalpine but it refaces T. sent10: the captor is a kind of a Francophile. sent11: if the swaggerer is not a compression then the kernite refaces Orangeman. sent12: if the swaggerer is a compression and is a stabile it does not reface Orangeman. sent13: there exists something such that it does surround. sent14: the flange is not non-abundant if something that does reface Orangeman does fracture hearts. ; $proof$ = 
sent4 & sent8 -> int1: the swaggerer does fracture flange.; void -> assump1: Let's assume that the swaggerer is a kind of a stabile.; int1 & assump1 -> int2: the swaggerer fractures flange and it is a stabile.; sent6 -> int3: if the swaggerer does fracture flange and is a kind of a stabile it is not a compression.; int2 & int3 -> int4: the swaggerer is not a compression.; int4 & sent11 -> int5: the kernite refaces Orangeman.; sent9 -> int6: something does not service transalpine and does reface T.; int6 & sent5 -> int7: the kernite does fracture hearts.; int5 & int7 -> int8: the kernite does reface Orangeman and it does fracture hearts.; int8 -> int9: something refaces Orangeman and it does fracture hearts.; int9 & sent14 -> int10: the flange is abundant.; [assump1] & int10 -> hypothesis; __DISPROVED__