the janissary is a kind of a arachnoid.
sent1: if the fact that the Creation is a antheridium is not wrong the Nasturtium does shatter and is not a kind of a antheridium. sent2: if the goulash is electromechanical then the Creation does populate libido. sent3: the broadax is bibliographic if there exists something such that it shatters and is not a kind of a antheridium. sent4: there is something such that it is Ibsenian. sent5: if there exists something such that it is Ibsenian the broadax does loot toupee. sent6: the Creation is a antheridium if it does populate libido. sent7: the janissary is a arachnoid if something is a kind of bibliographic thing that does loot toupee.
sent4 & sent5 -> int1: the broadax loots toupee.;
$hypothesis$ = the janissary is a kind of a arachnoid. ; $context$ = sent1: if the fact that the Creation is a antheridium is not wrong the Nasturtium does shatter and is not a kind of a antheridium. sent2: if the goulash is electromechanical then the Creation does populate libido. sent3: the broadax is bibliographic if there exists something such that it shatters and is not a kind of a antheridium. sent4: there is something such that it is Ibsenian. sent5: if there exists something such that it is Ibsenian the broadax does loot toupee. sent6: the Creation is a antheridium if it does populate libido. sent7: the janissary is a arachnoid if something is a kind of bibliographic thing that does loot toupee. ; $proof$ = 
sent4 & sent5 -> int1: the broadax loots toupee.; __UNKNOWN__