the silex is not a blade.
sent1: the calorimeter is a myrmidon if something is pneumonic and does beam. sent2: the calorimeter is a kind of a myrmidon if something is pneumonic but it does not beam. sent3: that the silex is a blade hold if the great-uncle ventilates one-trillionth. sent4: there is something such that it does consolidate. sent5: that if the fact that the capstan is not a kind of a myrmidon and does not ventilate Romanian is not right then the great-uncle ventilates one-trillionth hold. sent6: if the calorimeter is a myrmidon the fact that the fact that the capstan is not a myrmidon and does not ventilate Romanian does not hold is true. sent7: the umber is pneumonic and is not a beaming if there is something such that it does consolidate.
sent4 & sent7 -> int1: the umber is pneumonic but not a beaming.; int1 -> int2: there exists something such that it is pneumonic and it is not a beaming.; int2 & sent2 -> int3: the calorimeter is a kind of a myrmidon.; sent6 & int3 -> int4: the fact that the capstan is not a myrmidon and does not ventilate Romanian is not true.; sent5 & int4 -> int5: the great-uncle ventilates one-trillionth.; sent3 & int5 -> hypothesis;
$hypothesis$ = the silex is not a blade. ; $context$ = sent1: the calorimeter is a myrmidon if something is pneumonic and does beam. sent2: the calorimeter is a kind of a myrmidon if something is pneumonic but it does not beam. sent3: that the silex is a blade hold if the great-uncle ventilates one-trillionth. sent4: there is something such that it does consolidate. sent5: that if the fact that the capstan is not a kind of a myrmidon and does not ventilate Romanian is not right then the great-uncle ventilates one-trillionth hold. sent6: if the calorimeter is a myrmidon the fact that the fact that the capstan is not a myrmidon and does not ventilate Romanian does not hold is true. sent7: the umber is pneumonic and is not a beaming if there is something such that it does consolidate. ; $proof$ = 
sent4 & sent7 -> int1: the umber is pneumonic but not a beaming.; int1 -> int2: there exists something such that it is pneumonic and it is not a beaming.; int2 & sent2 -> int3: the calorimeter is a kind of a myrmidon.; sent6 & int3 -> int4: the fact that the capstan is not a myrmidon and does not ventilate Romanian is not true.; sent5 & int4 -> int5: the great-uncle ventilates one-trillionth.; sent3 & int5 -> hypothesis; __DISPROVED__