the churchwarden does tramp tonometry.
sent1: if the wigmaker is informational then the churchwarden is a kind of a cutlassfish. sent2: the churchwarden does not tramp tonometry if the fact that the wigmaker does not tramp tonometry but it is informational is wrong. sent3: either the wigmaker is air-to-air or it is informational or both. sent4: if that the wigmaker is air-to-air is not false the churchwarden is a kind of a cutlassfish.
sent3 & sent4 & sent1 -> int1: the churchwarden is a cutlassfish.;
the churchwarden does not tramp tonometry.
$hypothesis$ = the churchwarden does tramp tonometry. ; $context$ = sent1: if the wigmaker is informational then the churchwarden is a kind of a cutlassfish. sent2: the churchwarden does not tramp tonometry if the fact that the wigmaker does not tramp tonometry but it is informational is wrong. sent3: either the wigmaker is air-to-air or it is informational or both. sent4: if that the wigmaker is air-to-air is not false the churchwarden is a kind of a cutlassfish. ; $proof$ = 
sent3 & sent4 & sent1 -> int1: the churchwarden is a cutlassfish.; __UNKNOWN__