the marketplace is not a Icarus.
sent1: the Alexandrian is not a throbbing and/or it does not sputter Alexandrian. sent2: if something is not microscopic then it is not a Icarus. sent3: something does clank myosin if it is not a vitalist and it is a humdinger. sent4: the fist is not a kind of a vitalist but it is a humdinger if the haulm is not a kind of a humdinger. sent5: if the Alexandrian is brahminic and it is microscopic the haulm is not a humdinger. sent6: if something that is a vitalist is a kind of a humdinger it does clank myosin. sent7: if the haulm is not a humdinger then the fist is not a vitalist. sent8: the Alexandrian is microscopic if it sputters serratus. sent9: the fact that the Alexandrian does sputter serratus is right if it does not throb and/or it does not sputter Alexandrian. sent10: the Alexandrian is brahminic. sent11: the marketplace is a Icarus if the fist clanks myosin.
sent9 & sent1 -> int1: the Alexandrian sputters serratus.; int1 & sent8 -> int2: the Alexandrian is microscopic.; int2 & sent10 -> int3: the Alexandrian is brahminic and is microscopic.; int3 & sent5 -> int4: the haulm is not a humdinger.; int4 & sent4 -> int5: the fist is not a vitalist but a humdinger.; sent3 -> int6: that the fact that the fist does clank myosin is not false if the fist is both not a vitalist and a humdinger hold.; int5 & int6 -> int7: the fist does clank myosin.; int7 & sent11 -> hypothesis;
the marketplace is not a Icarus.
sent2 -> int8: the marketplace is not a Icarus if it is not microscopic.;
$hypothesis$ = the marketplace is not a Icarus. ; $context$ = sent1: the Alexandrian is not a throbbing and/or it does not sputter Alexandrian. sent2: if something is not microscopic then it is not a Icarus. sent3: something does clank myosin if it is not a vitalist and it is a humdinger. sent4: the fist is not a kind of a vitalist but it is a humdinger if the haulm is not a kind of a humdinger. sent5: if the Alexandrian is brahminic and it is microscopic the haulm is not a humdinger. sent6: if something that is a vitalist is a kind of a humdinger it does clank myosin. sent7: if the haulm is not a humdinger then the fist is not a vitalist. sent8: the Alexandrian is microscopic if it sputters serratus. sent9: the fact that the Alexandrian does sputter serratus is right if it does not throb and/or it does not sputter Alexandrian. sent10: the Alexandrian is brahminic. sent11: the marketplace is a Icarus if the fist clanks myosin. ; $proof$ = 
sent9 & sent1 -> int1: the Alexandrian sputters serratus.; int1 & sent8 -> int2: the Alexandrian is microscopic.; int2 & sent10 -> int3: the Alexandrian is brahminic and is microscopic.; int3 & sent5 -> int4: the haulm is not a humdinger.; int4 & sent4 -> int5: the fist is not a vitalist but a humdinger.; sent3 -> int6: that the fact that the fist does clank myosin is not false if the fist is both not a vitalist and a humdinger hold.; int5 & int6 -> int7: the fist does clank myosin.; int7 & sent11 -> hypothesis; __DISPROVED__