the Italian is a kind of a subunit.
sent1: the cockpit is a kind of a mucopolysaccharide if the truss is not a sensorium but a mucopolysaccharide. sent2: the truss scuffs FAQ and does not plant if that it is suborbital is not incorrect. sent3: the Italian is a mucopolysaccharide. sent4: something is a sensorium that is a hellion if it does not plant. sent5: the cowhide is a hellion if the truss is a mucopolysaccharide. sent6: if the Italian is a mucopolysaccharide then the truss is a subunit. sent7: the truss is a kind of a mucopolysaccharide. sent8: the fact that something is not a subunit and is not a mucopolysaccharide does not hold if it is a hellion. sent9: something that is a plant or does not scuff FAQ or both is not a subunit. sent10: if the cowhide is a kind of a hellion the Italian is a subunit.
sent5 & sent7 -> int1: the cowhide is a hellion.; int1 & sent10 -> hypothesis;
the Italian is not a kind of a subunit.
sent8 -> int2: that the truss is not a kind of a subunit and it is not a kind of a mucopolysaccharide is false if it is a hellion.; sent4 -> int3: that if the truss is not the plant the truss is a kind of a sensorium and it is a kind of a hellion hold.;
$hypothesis$ = the Italian is a kind of a subunit. ; $context$ = sent1: the cockpit is a kind of a mucopolysaccharide if the truss is not a sensorium but a mucopolysaccharide. sent2: the truss scuffs FAQ and does not plant if that it is suborbital is not incorrect. sent3: the Italian is a mucopolysaccharide. sent4: something is a sensorium that is a hellion if it does not plant. sent5: the cowhide is a hellion if the truss is a mucopolysaccharide. sent6: if the Italian is a mucopolysaccharide then the truss is a subunit. sent7: the truss is a kind of a mucopolysaccharide. sent8: the fact that something is not a subunit and is not a mucopolysaccharide does not hold if it is a hellion. sent9: something that is a plant or does not scuff FAQ or both is not a subunit. sent10: if the cowhide is a kind of a hellion the Italian is a subunit. ; $proof$ = 
sent5 & sent7 -> int1: the cowhide is a hellion.; int1 & sent10 -> hypothesis; __PROVED__