that the compass subcontracts is not false.
sent1: something does wobble Frobisher and is unprovocative. sent2: something is a subcontract if it is a ricegrass. sent3: something does wobble Frobisher and is not unprovocative. sent4: if the undesirable is a kind of a subcontract and it is a ricegrass then the compass does not subcontract. sent5: something is dental and is not unaggressive. sent6: the beroe is a subcontract if something wobbles inflorescence but it does not cloud jewelry. sent7: something is a polyphone and it is a subcontract if it does not wobble anagram. sent8: there exists something such that it does wobble Frobisher. sent9: the calliope is a ricegrass. sent10: if something is unscientific but it is not a ricegrass the compass does letter exhibition. sent11: if something that wobbles Frobisher is not unprovocative then the compass is a ricegrass. sent12: the firelight is evangelistic if it wobbles inflorescence. sent13: the compass wobbles compass. sent14: there exists something such that it is not unprovocative. sent15: the fact that the constantan does nourish is not wrong if there is something such that it is a driving and it is not aoristic.
sent3 & sent11 -> int1: the compass is a ricegrass.; sent2 -> int2: the compass subcontracts if it is a ricegrass.; int1 & int2 -> hypothesis;
the compass is not a subcontract.
sent7 -> int3: the undesirable is a kind of a polyphone that is a subcontract if it does not wobble anagram.;
$hypothesis$ = that the compass subcontracts is not false. ; $context$ = sent1: something does wobble Frobisher and is unprovocative. sent2: something is a subcontract if it is a ricegrass. sent3: something does wobble Frobisher and is not unprovocative. sent4: if the undesirable is a kind of a subcontract and it is a ricegrass then the compass does not subcontract. sent5: something is dental and is not unaggressive. sent6: the beroe is a subcontract if something wobbles inflorescence but it does not cloud jewelry. sent7: something is a polyphone and it is a subcontract if it does not wobble anagram. sent8: there exists something such that it does wobble Frobisher. sent9: the calliope is a ricegrass. sent10: if something is unscientific but it is not a ricegrass the compass does letter exhibition. sent11: if something that wobbles Frobisher is not unprovocative then the compass is a ricegrass. sent12: the firelight is evangelistic if it wobbles inflorescence. sent13: the compass wobbles compass. sent14: there exists something such that it is not unprovocative. sent15: the fact that the constantan does nourish is not wrong if there is something such that it is a driving and it is not aoristic. ; $proof$ = 
sent3 & sent11 -> int1: the compass is a ricegrass.; sent2 -> int2: the compass subcontracts if it is a ricegrass.; int1 & int2 -> hypothesis; __PROVED__