there is something such that if that it does not besot aircraftsman and is a Whittle is not incorrect it does not besot tire.
sent1: if something that does not besot aircraftsman is a Whittle it does not besot tire.
sent1 -> int1: the aircraftsman does not besot tire if it does not besot aircraftsman and is a kind of a Whittle.; int1 -> hypothesis;
$hypothesis$ = there is something such that if that it does not besot aircraftsman and is a Whittle is not incorrect it does not besot tire. ; $context$ = sent1: if something that does not besot aircraftsman is a Whittle it does not besot tire. ; $proof$ = 
sent1 -> int1: the aircraftsman does not besot tire if it does not besot aircraftsman and is a kind of a Whittle.; int1 -> hypothesis; __PROVED__