the dronabinol does not actualize.
sent1: the dumper is arthrosporic. sent2: if the dronabinol is a kind of a kindergarten then the dumper does not covet. sent3: if something is not a kindergarten the fact that it is a kind of a dextrose that covets is false. sent4: if something is a kind of a butterflyfish then it is a kindergarten. sent5: if that the dumper is not a dextrose is not incorrect the dronabinol actualizes and it is a butterflyfish. sent6: that the shortgrass is not autotrophic and it is not a butterflyfish is correct. sent7: if the dronabinol does actualize it is both not arthrosporic and not a heartwood. sent8: if that something is a kindergarten is correct it actualizes. sent9: the teal is not a kind of a neurasthenic and it is not a kind of a dignity. sent10: that the dronabinol is a vetch hold. sent11: the dumper is not a kind of a kindergarten or it covets or both. sent12: the dronabinol is a kind of a dextrose. sent13: the fact that the dumper is not arthrosporic or it does covet or both is not correct. sent14: the fact that the bibliotist is not a butterflyfish is true. sent15: the fact that the dumper is not a kind of a kindergarten and/or it covets is not correct if the dronabinol is a kind of a kindergarten. sent16: something is a butterflyfish and it is a dextrose if it is not arthrosporic.
void -> assump1: Let's assume that that the dronabinol actualizes is not wrong.; sent7 & assump1 -> int1: the dronabinol is not arthrosporic and is not a kind of a heartwood.; int1 -> int2: the dronabinol is not arthrosporic.; sent16 -> int3: the dronabinol is a butterflyfish and it is a dextrose if it is not arthrosporic.; int2 & int3 -> int4: the dronabinol is a butterflyfish and is a dextrose.; int4 -> int5: the dronabinol is a butterflyfish.; sent4 -> int6: the dronabinol is a kindergarten if the fact that it is a kind of a butterflyfish hold.; int5 & int6 -> int7: that the dronabinol is a kind of a kindergarten is right.; int7 & sent15 -> int8: that the dumper is not a kindergarten and/or it covets is not true.; int8 & sent11 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the Olmec is a butterflyfish.
sent8 -> int10: the dumper actualizes if it is a kind of a kindergarten.;
$hypothesis$ = the dronabinol does not actualize. ; $context$ = sent1: the dumper is arthrosporic. sent2: if the dronabinol is a kind of a kindergarten then the dumper does not covet. sent3: if something is not a kindergarten the fact that it is a kind of a dextrose that covets is false. sent4: if something is a kind of a butterflyfish then it is a kindergarten. sent5: if that the dumper is not a dextrose is not incorrect the dronabinol actualizes and it is a butterflyfish. sent6: that the shortgrass is not autotrophic and it is not a butterflyfish is correct. sent7: if the dronabinol does actualize it is both not arthrosporic and not a heartwood. sent8: if that something is a kindergarten is correct it actualizes. sent9: the teal is not a kind of a neurasthenic and it is not a kind of a dignity. sent10: that the dronabinol is a vetch hold. sent11: the dumper is not a kind of a kindergarten or it covets or both. sent12: the dronabinol is a kind of a dextrose. sent13: the fact that the dumper is not arthrosporic or it does covet or both is not correct. sent14: the fact that the bibliotist is not a butterflyfish is true. sent15: the fact that the dumper is not a kind of a kindergarten and/or it covets is not correct if the dronabinol is a kind of a kindergarten. sent16: something is a butterflyfish and it is a dextrose if it is not arthrosporic. ; $proof$ = 
void -> assump1: Let's assume that that the dronabinol actualizes is not wrong.; sent7 & assump1 -> int1: the dronabinol is not arthrosporic and is not a kind of a heartwood.; int1 -> int2: the dronabinol is not arthrosporic.; sent16 -> int3: the dronabinol is a butterflyfish and it is a dextrose if it is not arthrosporic.; int2 & int3 -> int4: the dronabinol is a butterflyfish and is a dextrose.; int4 -> int5: the dronabinol is a butterflyfish.; sent4 -> int6: the dronabinol is a kindergarten if the fact that it is a kind of a butterflyfish hold.; int5 & int6 -> int7: that the dronabinol is a kind of a kindergarten is right.; int7 & sent15 -> int8: that the dumper is not a kindergarten and/or it covets is not true.; int8 & sent11 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__