the choirboy is ametropic.
sent1: the choirboy is not ametropic if the latitudinarian does not cope Drake and/or it is not ametropic. sent2: if the anime copes thornbill then it is a kind of a Muscat. sent3: that the fact that the latitudinarian does not cope Drake but it is an allophone is false if there exists something such that it is not a Muscat is not false. sent4: if the latitudinarian does not cope thornbill then the choirboy is ametropic thing that is a nick. sent5: the latitudinarian is an allophone and ametropic. sent6: if the fact that the fact that the choirboy does not cope Drake and is an allophone is false is not false then it is not ametropic. sent7: the gymnast copes Drake. sent8: if that something does not cope Drake and is an allophone does not hold then it does not cope thornbill. sent9: if the shipbuilder is a kind of a nick then it does cope thornbill. sent10: there exists something such that it is not a Muscat. sent11: the fact that there exists something such that it is experimental is right. sent12: if the shipbuilder copes thornbill the anime does copes thornbill. sent13: if something is a kind of a Muscat that it is not an allophone and it copes Drake is incorrect. sent14: if the antipasto is a nick the shipbuilder nick. sent15: there is something such that it is a Muscat.
sent10 & sent3 -> int1: the fact that the latitudinarian does not cope Drake and is an allophone does not hold.; sent8 -> int2: if that the latitudinarian does not cope Drake but it is an allophone does not hold that it does not cope thornbill is correct.; int1 & int2 -> int3: the fact that the latitudinarian does not cope thornbill is true.; int3 & sent4 -> int4: the choirboy is ametropic a nick.; int4 -> hypothesis;
the choirboy is not ametropic.
sent13 -> int5: that the fact that the anime is not a kind of an allophone but it does cope Drake is not false is not true if it is a Muscat.;
$hypothesis$ = the choirboy is ametropic. ; $context$ = sent1: the choirboy is not ametropic if the latitudinarian does not cope Drake and/or it is not ametropic. sent2: if the anime copes thornbill then it is a kind of a Muscat. sent3: that the fact that the latitudinarian does not cope Drake but it is an allophone is false if there exists something such that it is not a Muscat is not false. sent4: if the latitudinarian does not cope thornbill then the choirboy is ametropic thing that is a nick. sent5: the latitudinarian is an allophone and ametropic. sent6: if the fact that the fact that the choirboy does not cope Drake and is an allophone is false is not false then it is not ametropic. sent7: the gymnast copes Drake. sent8: if that something does not cope Drake and is an allophone does not hold then it does not cope thornbill. sent9: if the shipbuilder is a kind of a nick then it does cope thornbill. sent10: there exists something such that it is not a Muscat. sent11: the fact that there exists something such that it is experimental is right. sent12: if the shipbuilder copes thornbill the anime does copes thornbill. sent13: if something is a kind of a Muscat that it is not an allophone and it copes Drake is incorrect. sent14: if the antipasto is a nick the shipbuilder nick. sent15: there is something such that it is a Muscat. ; $proof$ = 
sent10 & sent3 -> int1: the fact that the latitudinarian does not cope Drake and is an allophone does not hold.; sent8 -> int2: if that the latitudinarian does not cope Drake but it is an allophone does not hold that it does not cope thornbill is correct.; int1 & int2 -> int3: the fact that the latitudinarian does not cope thornbill is true.; int3 & sent4 -> int4: the choirboy is ametropic a nick.; int4 -> hypothesis; __PROVED__