the itinerant is androgenic but it is not a sweetmeat.
sent1: the flycatcher is blastomeric thing that is a barker if it does not bed-hop. sent2: the itinerant does fool aleph-null. sent3: if something is not a barker that it is androgenic and not a sweetmeat is false. sent4: if the fact that the pitfall is gluttonous thing that is not a kind of an eminence is wrong then the flycatcher is asteroidal. sent5: the fact that either something is not a polygynist or it is not asteroidal or both is incorrect if it is not a barker. sent6: if something that does fool aleph-null is a wilding that it is a sweetmeat does not hold. sent7: the fact that the pitfall is gluttonous but it is not an eminence is not right. sent8: if the flycatcher is asteroidal the fact that the itinerant is not a kind of a polygynist but it is porcine is incorrect. sent9: if the itinerant is not porcine then it is androgenic. sent10: if that something is both not a polygynist and porcine does not hold it is not a barker. sent11: that the flycatcher does not bed-hop is correct. sent12: if the flycatcher is blastomeric and it is a barker the pitfall is not a barker.
sent4 & sent7 -> int1: the flycatcher is not non-asteroidal.; int1 & sent8 -> int2: the fact that the itinerant is not a polygynist and is porcine does not hold.; sent10 -> int3: the itinerant is not a barker if the fact that it is not a polygynist and it is porcine does not hold.; int2 & int3 -> int4: the fact that the itinerant is not a barker is true.; sent3 -> int5: if the itinerant is not a kind of a barker then that it is both androgenic and not a sweetmeat is false.; int4 & int5 -> hypothesis;
the itinerant is androgenic but it is not a sweetmeat.
sent5 -> int6: the fact that the pitfall is not a kind of a polygynist or it is non-asteroidal or both does not hold if it is not a barker.; sent1 & sent11 -> int7: the flycatcher is blastomeric and it is a kind of a barker.; sent12 & int7 -> int8: the pitfall is not a barker.; int6 & int8 -> int9: the fact that the pitfall is not a polygynist and/or it is not asteroidal is incorrect.; int9 -> int10: there exists something such that the fact that it is not a polygynist and/or it is not asteroidal does not hold.; sent6 -> int11: the itinerant is not a kind of a sweetmeat if it fools aleph-null and it is a wilding.;
$hypothesis$ = the itinerant is androgenic but it is not a sweetmeat. ; $context$ = sent1: the flycatcher is blastomeric thing that is a barker if it does not bed-hop. sent2: the itinerant does fool aleph-null. sent3: if something is not a barker that it is androgenic and not a sweetmeat is false. sent4: if the fact that the pitfall is gluttonous thing that is not a kind of an eminence is wrong then the flycatcher is asteroidal. sent5: the fact that either something is not a polygynist or it is not asteroidal or both is incorrect if it is not a barker. sent6: if something that does fool aleph-null is a wilding that it is a sweetmeat does not hold. sent7: the fact that the pitfall is gluttonous but it is not an eminence is not right. sent8: if the flycatcher is asteroidal the fact that the itinerant is not a kind of a polygynist but it is porcine is incorrect. sent9: if the itinerant is not porcine then it is androgenic. sent10: if that something is both not a polygynist and porcine does not hold it is not a barker. sent11: that the flycatcher does not bed-hop is correct. sent12: if the flycatcher is blastomeric and it is a barker the pitfall is not a barker. ; $proof$ = 
sent4 & sent7 -> int1: the flycatcher is not non-asteroidal.; int1 & sent8 -> int2: the fact that the itinerant is not a polygynist and is porcine does not hold.; sent10 -> int3: the itinerant is not a barker if the fact that it is not a polygynist and it is porcine does not hold.; int2 & int3 -> int4: the fact that the itinerant is not a barker is true.; sent3 -> int5: if the itinerant is not a kind of a barker then that it is both androgenic and not a sweetmeat is false.; int4 & int5 -> hypothesis; __DISPROVED__