the goatsbeard is a trump and it overbears numbers.
sent1: the sensualist is not testaceous. sent2: that if there is something such that it is a nonstop the goatsbeard is a nonstop or it is not a kind of a trump or both is not wrong. sent3: the whitewash is a nonstop if the fox does not overbear numbers. sent4: if something is a rappee and it parallels profusion it is not a nonstop. sent5: The fact that the numbers does overbear goatsbeard hold. sent6: the T-network is a nonstop. sent7: the numbers is not a forcemeat if the goatsbeard is a nonstop or does not trump or both. sent8: something does overbear numbers if it does resent skimmer. sent9: the fox does not overbear numbers if that the bluegrass overbear numbers and it overbears Nuptse hold. sent10: the bluegrass does resent skimmer if there exists something such that it is not non-obstetric but non-testaceous. sent11: if something is not a rappee but it parallels profusion then it is not a kind of a nonstop. sent12: the fact that the goatsbeard does overbear numbers hold. sent13: the sensualist is obstetric.
sent11 -> int1: the T-network is not a kind of a nonstop if it is not a rappee and does parallel profusion.; void -> assump1: Let's assume that that the T-network is not a rappee but it parallels profusion is not wrong.; int1 & assump1 -> int2: the T-network is not a kind of a nonstop.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the T-network is not a rappee and parallels profusion is not right.; int4 -> int5: there exists something such that that it is not a rappee and parallels profusion is false.;
the numbers is not a forcemeat.
sent1 & sent13 -> int6: the sensualist is obstetric but it is not testaceous.; int6 -> int7: there exists something such that it is obstetric and it is not testaceous.; int7 & sent10 -> int8: the bluegrass resents skimmer.; sent8 -> int9: the bluegrass does overbear numbers if it resents skimmer.; int8 & int9 -> int10: the bluegrass does overbear numbers.;
$hypothesis$ = the goatsbeard is a trump and it overbears numbers. ; $context$ = sent1: the sensualist is not testaceous. sent2: that if there is something such that it is a nonstop the goatsbeard is a nonstop or it is not a kind of a trump or both is not wrong. sent3: the whitewash is a nonstop if the fox does not overbear numbers. sent4: if something is a rappee and it parallels profusion it is not a nonstop. sent5: The fact that the numbers does overbear goatsbeard hold. sent6: the T-network is a nonstop. sent7: the numbers is not a forcemeat if the goatsbeard is a nonstop or does not trump or both. sent8: something does overbear numbers if it does resent skimmer. sent9: the fox does not overbear numbers if that the bluegrass overbear numbers and it overbears Nuptse hold. sent10: the bluegrass does resent skimmer if there exists something such that it is not non-obstetric but non-testaceous. sent11: if something is not a rappee but it parallels profusion then it is not a kind of a nonstop. sent12: the fact that the goatsbeard does overbear numbers hold. sent13: the sensualist is obstetric. ; $proof$ = 
sent11 -> int1: the T-network is not a kind of a nonstop if it is not a rappee and does parallel profusion.; void -> assump1: Let's assume that that the T-network is not a rappee but it parallels profusion is not wrong.; int1 & assump1 -> int2: the T-network is not a kind of a nonstop.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the T-network is not a rappee and parallels profusion is not right.; int4 -> int5: there exists something such that that it is not a rappee and parallels profusion is false.; __UNKNOWN__