the butanol hefts if the fact that the buttercup heels Ashkhabad is true.
sent1: the fact that something is both a methylene and not trigonometric is incorrect if it heels Ashkhabad. sent2: the buttercup is a Talinum. sent3: the butanol is a methylene. sent4: if that the buttercup is trigonometric hold then the butanol hefts. sent5: that the buttercup is a methylene and it is trigonometric is not true. sent6: if something does not heel Ashkhabad then it is a methylene. sent7: the butanol is a heft if the fact that the buttercup is a methylene but it is not trigonometric is false.
sent1 -> int1: the fact that the buttercup is a methylene but it is not trigonometric is incorrect if it heels Ashkhabad.; void -> assump1: Let's assume that the buttercup heels Ashkhabad.; int1 & assump1 -> int2: that the buttercup is a methylene and is not trigonometric is not true.; sent7 & int2 -> int3: the butanol is a kind of a heft.; [assump1] & int3 -> hypothesis;
the mycophagist is a methylene.
sent6 -> int4: the mycophagist is a kind of a methylene if it does not heel Ashkhabad.;
$hypothesis$ = the butanol hefts if the fact that the buttercup heels Ashkhabad is true. ; $context$ = sent1: the fact that something is both a methylene and not trigonometric is incorrect if it heels Ashkhabad. sent2: the buttercup is a Talinum. sent3: the butanol is a methylene. sent4: if that the buttercup is trigonometric hold then the butanol hefts. sent5: that the buttercup is a methylene and it is trigonometric is not true. sent6: if something does not heel Ashkhabad then it is a methylene. sent7: the butanol is a heft if the fact that the buttercup is a methylene but it is not trigonometric is false. ; $proof$ = 
sent1 -> int1: the fact that the buttercup is a methylene but it is not trigonometric is incorrect if it heels Ashkhabad.; void -> assump1: Let's assume that the buttercup heels Ashkhabad.; int1 & assump1 -> int2: that the buttercup is a methylene and is not trigonometric is not true.; sent7 & int2 -> int3: the butanol is a kind of a heft.; [assump1] & int3 -> hypothesis; __PROVED__