the Carolinian sails.
sent1: the tramline is a swathe but it is not a cassocked. sent2: something is a turning but it is not nonmodern. sent3: if that the heterometabolism does not jump springer is not wrong the Carolinian does sail. sent4: if there exists something such that it turns and is not nonmodern then the heterometabolism does pipe perception. sent5: the tramline is not a kind of a swathe if something that jumps springer does pipe perception. sent6: if something that is a sail jumps springer then the tramline is a swathe. sent7: the tramline does sail.
sent2 & sent4 -> int1: the heterometabolism does pipe perception.; void -> assump1: Let's assume that the heterometabolism jumps springer.; int1 & assump1 -> int2: the fact that the heterometabolism jumps springer and pipes perception is correct.; int2 -> int3: there is something such that it jumps springer and pipes perception.; int3 & sent5 -> int4: the fact that the tramline is not a swathe is true.; sent1 -> int5: the tramline is a swathe.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the heterometabolism does not jump springer.; int7 & sent3 -> hypothesis;
$hypothesis$ = the Carolinian sails. ; $context$ = sent1: the tramline is a swathe but it is not a cassocked. sent2: something is a turning but it is not nonmodern. sent3: if that the heterometabolism does not jump springer is not wrong the Carolinian does sail. sent4: if there exists something such that it turns and is not nonmodern then the heterometabolism does pipe perception. sent5: the tramline is not a kind of a swathe if something that jumps springer does pipe perception. sent6: if something that is a sail jumps springer then the tramline is a swathe. sent7: the tramline does sail. ; $proof$ = 
sent2 & sent4 -> int1: the heterometabolism does pipe perception.; void -> assump1: Let's assume that the heterometabolism jumps springer.; int1 & assump1 -> int2: the fact that the heterometabolism jumps springer and pipes perception is correct.; int2 -> int3: there is something such that it jumps springer and pipes perception.; int3 & sent5 -> int4: the fact that the tramline is not a swathe is true.; sent1 -> int5: the tramline is a swathe.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the heterometabolism does not jump springer.; int7 & sent3 -> hypothesis; __PROVED__