the keteleeria is a kind of an adjunct.
sent1: if the fact that the loaf hydroplanes and it is a Normandie is not true that the propane does not mangle olive is not wrong. sent2: there is nothing such that it hydroplanes and it is a Normandie. sent3: something is an adjunct if it is wide. sent4: if something is electromagnetic then it tinsels riff. sent5: the keteleeria is non-electromagnetic thing that mangles olive if the propane does not mangles olive. sent6: the keteleeria is wide if it is a kind of non-electromagnetic thing that does mangle olive.
sent2 -> int1: that the fact that the loaf hydroplanes and is a Normandie is true is not correct.; int1 & sent1 -> int2: that the propane does not mangle olive hold.; int2 & sent5 -> int3: the keteleeria is not electromagnetic and does mangle olive.; int3 & sent6 -> int4: the keteleeria is wide.; sent3 -> int5: the keteleeria is an adjunct if it is wide.; int4 & int5 -> hypothesis;
if the Badaga is electromagnetic then it tinsels riff.
sent4 -> hypothesis;
$hypothesis$ = the keteleeria is a kind of an adjunct. ; $context$ = sent1: if the fact that the loaf hydroplanes and it is a Normandie is not true that the propane does not mangle olive is not wrong. sent2: there is nothing such that it hydroplanes and it is a Normandie. sent3: something is an adjunct if it is wide. sent4: if something is electromagnetic then it tinsels riff. sent5: the keteleeria is non-electromagnetic thing that mangles olive if the propane does not mangles olive. sent6: the keteleeria is wide if it is a kind of non-electromagnetic thing that does mangle olive. ; $proof$ = 
sent2 -> int1: that the fact that the loaf hydroplanes and is a Normandie is true is not correct.; int1 & sent1 -> int2: that the propane does not mangle olive hold.; int2 & sent5 -> int3: the keteleeria is not electromagnetic and does mangle olive.; int3 & sent6 -> int4: the keteleeria is wide.; sent3 -> int5: the keteleeria is an adjunct if it is wide.; int4 & int5 -> hypothesis; __PROVED__