the fact that if the fact that the fungible is a shad is right then the heating is not acropetal is false.
sent1: if a non-anamorphic thing is unworldly then it is acropetal. sent2: the heating does not rake Loxostege. sent3: the cringle is not dimorphic if the heating is a rotary and it rakes yellow. sent4: the heating is acropetal and is a shad. sent5: the trazodone is a shad. sent6: if the fungible is both a pestle and a shad the heating is not acropetal. sent7: that the fungible is not a competitiveness hold. sent8: the fact that the heating is acropetal hold. sent9: the heating is not a shad if the fungible is acropetal and blocks chemotherapy. sent10: if the fungible is a shad then the heating is acropetal. sent11: the heating is an application. sent12: the heating is a pestle and acropetal. sent13: the fungible pestles. sent14: the fact that the heating is acropetal is not false if the fungible does pestle and is a shad. sent15: the heating is a pestle. sent16: the fungible is acropetal. sent17: the fungible is acropetal if the heating is a kind of a pestle that is a shad. sent18: the heating is a kind of a shad and is acropetal.
void -> assump1: Let's assume that the fungible is a shad.; sent13 & assump1 -> int1: that the fungible is a pestle and is a kind of a shad is true.; sent6 & int1 -> int2: the heating is not acropetal.; [assump1] & int2 -> hypothesis;
the paralytic is a kind of a shad.
sent1 -> int3: if the fungible is not anamorphic and is unworldly then it is acropetal.; sent2 -> int4: something does not rake Loxostege.;
$hypothesis$ = the fact that if the fact that the fungible is a shad is right then the heating is not acropetal is false. ; $context$ = sent1: if a non-anamorphic thing is unworldly then it is acropetal. sent2: the heating does not rake Loxostege. sent3: the cringle is not dimorphic if the heating is a rotary and it rakes yellow. sent4: the heating is acropetal and is a shad. sent5: the trazodone is a shad. sent6: if the fungible is both a pestle and a shad the heating is not acropetal. sent7: that the fungible is not a competitiveness hold. sent8: the fact that the heating is acropetal hold. sent9: the heating is not a shad if the fungible is acropetal and blocks chemotherapy. sent10: if the fungible is a shad then the heating is acropetal. sent11: the heating is an application. sent12: the heating is a pestle and acropetal. sent13: the fungible pestles. sent14: the fact that the heating is acropetal is not false if the fungible does pestle and is a shad. sent15: the heating is a pestle. sent16: the fungible is acropetal. sent17: the fungible is acropetal if the heating is a kind of a pestle that is a shad. sent18: the heating is a kind of a shad and is acropetal. ; $proof$ = 
void -> assump1: Let's assume that the fungible is a shad.; sent13 & assump1 -> int1: that the fungible is a pestle and is a kind of a shad is true.; sent6 & int1 -> int2: the heating is not acropetal.; [assump1] & int2 -> hypothesis; __DISPROVED__