the handrest does look accuser but it is not a snipe.
sent1: something is a footplate and does look saurischian. sent2: the handrest is not leprous if the fact that the generator does look accuser but it is not leprous hold. sent3: there is something such that the fact that it is a kind of a footplate that does look saurischian does not hold. sent4: if the handrest is not leprous the fact that the pedal does interpolate Firenze and does interpolate ghetto is false. sent5: the fact that something does look accuser and is not a kind of a snipe is not true if it is leprous. sent6: if there is something such that that it is a kind of a footplate that looks saurischian is not right then the pedal is not leprous. sent7: the pedal is not leprous if there is something such that it is not a footplate. sent8: the handrest is not a kind of a snipe if the pedal is not leprous. sent9: something is not spectral and is a kind of a maillot if it does not look standby. sent10: The accuser looks handrest. sent11: if the tackle is not spectral but it is a maillot then the Beadle is not a snipe. sent12: the handrest looks accuser.
sent3 & sent6 -> int1: the pedal is not leprous.; int1 & sent8 -> int2: the handrest is not a snipe.; int2 & sent12 -> hypothesis;
there is something such that the fact that it interpolates Firenze and it interpolates ghetto is not true.
sent9 -> int3: if the tackle does not look standby then it is not spectral and it is a maillot.;
$hypothesis$ = the handrest does look accuser but it is not a snipe. ; $context$ = sent1: something is a footplate and does look saurischian. sent2: the handrest is not leprous if the fact that the generator does look accuser but it is not leprous hold. sent3: there is something such that the fact that it is a kind of a footplate that does look saurischian does not hold. sent4: if the handrest is not leprous the fact that the pedal does interpolate Firenze and does interpolate ghetto is false. sent5: the fact that something does look accuser and is not a kind of a snipe is not true if it is leprous. sent6: if there is something such that that it is a kind of a footplate that looks saurischian is not right then the pedal is not leprous. sent7: the pedal is not leprous if there is something such that it is not a footplate. sent8: the handrest is not a kind of a snipe if the pedal is not leprous. sent9: something is not spectral and is a kind of a maillot if it does not look standby. sent10: The accuser looks handrest. sent11: if the tackle is not spectral but it is a maillot then the Beadle is not a snipe. sent12: the handrest looks accuser. ; $proof$ = 
sent3 & sent6 -> int1: the pedal is not leprous.; int1 & sent8 -> int2: the handrest is not a snipe.; int2 & sent12 -> hypothesis; __PROVED__