the beagle is a kind of a bursary and it devalues.
sent1: if the pyrrhotite is not a Albion then the fact that the fact that the forestay is a Albion and it excludes pyrrhotite hold does not hold. sent2: the beagle is aponeurotic and is Siouan. sent3: the forestay is a durance if that it is a Albion and it does not price bacillus is false. sent4: if that the timer does not devalue hold the beagle devalue. sent5: the timer does not devalue if the pyrrhotite does not exclude pyrrhotite. sent6: if the forestay is a kind of a griminess and is a durance then the insider does not exclude pyrrhotite. sent7: the lolly does not price bacillus if the forestay is not a durance and does not price bacillus. sent8: the beagle does devalue. sent9: the forestay is not strategics if the fact that the beagle devalues and it is a griminess is not right. sent10: the beagle is a bursary and it devalues if the timer does not devalues. sent11: the pyrrhotite does not devalue if there is something such that it excludes pyrrhotite. sent12: if the insider does not exclude pyrrhotite that the pyrrhotite exclude pyrrhotite and is strategics does not hold. sent13: the forestay excludes pyrrhotite or it is a kind of a durance or both if the insider is not strategics. sent14: if something is not a griminess then that it is a bursary that does devalue is not correct. sent15: the forestay is a griminess but not a shmooze. sent16: if the forestay is not a kind of a Albion then that it is a durance hold. sent17: the insider is a griminess if the fact that it is not a griminess and devalues is false. sent18: that the timer does not devalue is true if that the pyrrhotite excludes pyrrhotite and it is strategics is not right. sent19: the forestay is not a kind of a shmooze. sent20: the timer excludes pyrrhotite and is strategics.
sent15 -> int1: the forestay is a griminess.;
that the beagle is a bursary and it does devalue is not true.
sent14 -> int2: if the beagle is not a griminess the fact that the fact that it is a bursary and it devalues is not wrong does not hold.;
$hypothesis$ = the beagle is a kind of a bursary and it devalues. ; $context$ = sent1: if the pyrrhotite is not a Albion then the fact that the fact that the forestay is a Albion and it excludes pyrrhotite hold does not hold. sent2: the beagle is aponeurotic and is Siouan. sent3: the forestay is a durance if that it is a Albion and it does not price bacillus is false. sent4: if that the timer does not devalue hold the beagle devalue. sent5: the timer does not devalue if the pyrrhotite does not exclude pyrrhotite. sent6: if the forestay is a kind of a griminess and is a durance then the insider does not exclude pyrrhotite. sent7: the lolly does not price bacillus if the forestay is not a durance and does not price bacillus. sent8: the beagle does devalue. sent9: the forestay is not strategics if the fact that the beagle devalues and it is a griminess is not right. sent10: the beagle is a bursary and it devalues if the timer does not devalues. sent11: the pyrrhotite does not devalue if there is something such that it excludes pyrrhotite. sent12: if the insider does not exclude pyrrhotite that the pyrrhotite exclude pyrrhotite and is strategics does not hold. sent13: the forestay excludes pyrrhotite or it is a kind of a durance or both if the insider is not strategics. sent14: if something is not a griminess then that it is a bursary that does devalue is not correct. sent15: the forestay is a griminess but not a shmooze. sent16: if the forestay is not a kind of a Albion then that it is a durance hold. sent17: the insider is a griminess if the fact that it is not a griminess and devalues is false. sent18: that the timer does not devalue is true if that the pyrrhotite excludes pyrrhotite and it is strategics is not right. sent19: the forestay is not a kind of a shmooze. sent20: the timer excludes pyrrhotite and is strategics. ; $proof$ = 
sent15 -> int1: the forestay is a griminess.; __UNKNOWN__