the pinwheel does knot euchre and is a kind of a Kwanzaa if the fact that the seasoning does not knot preservationist is not false.
sent1: that if the pinwheel is horticultural the pinwheel is a Kwanzaa is not false. sent2: the pinwheel is horticultural. sent3: the preservationist is a Monophysite. sent4: the pain is a Monophysite. sent5: the pinwheel is not a Gothic. sent6: if the preservationist is cacodemonic the seasoning does knot preservationist. sent7: if the pain is Monophysite but it is not cacodemonic then it is not a Manama. sent8: the pinwheel knots euchre if the pain is not a Manama. sent9: the pain is both Monophysite and not cacodemonic if the preservationist is not cacodemonic.
void -> assump2: Let's assume that the preservationist is cacodemonic.; sent6 & assump2 -> int1: the seasoning does knot preservationist.; void -> assump1: Let's assume that the seasoning does not knot preservationist.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the preservationist is not cacodemonic.; int3 & sent9 -> int4: the pain is a kind of a Monophysite but it is not cacodemonic.; int4 & sent7 -> int5: the pain is not a kind of a Manama.; int5 & sent8 -> int6: the pinwheel does knot euchre.; sent1 & sent2 -> int7: the pinwheel is a Kwanzaa.; int6 & int7 -> int8: the pinwheel does knot euchre and is a Kwanzaa.; [assump1] & int8 -> hypothesis;
$hypothesis$ = the pinwheel does knot euchre and is a kind of a Kwanzaa if the fact that the seasoning does not knot preservationist is not false. ; $context$ = sent1: that if the pinwheel is horticultural the pinwheel is a Kwanzaa is not false. sent2: the pinwheel is horticultural. sent3: the preservationist is a Monophysite. sent4: the pain is a Monophysite. sent5: the pinwheel is not a Gothic. sent6: if the preservationist is cacodemonic the seasoning does knot preservationist. sent7: if the pain is Monophysite but it is not cacodemonic then it is not a Manama. sent8: the pinwheel knots euchre if the pain is not a Manama. sent9: the pain is both Monophysite and not cacodemonic if the preservationist is not cacodemonic. ; $proof$ = 
void -> assump2: Let's assume that the preservationist is cacodemonic.; sent6 & assump2 -> int1: the seasoning does knot preservationist.; void -> assump1: Let's assume that the seasoning does not knot preservationist.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the preservationist is not cacodemonic.; int3 & sent9 -> int4: the pain is a kind of a Monophysite but it is not cacodemonic.; int4 & sent7 -> int5: the pain is not a kind of a Manama.; int5 & sent8 -> int6: the pinwheel does knot euchre.; sent1 & sent2 -> int7: the pinwheel is a Kwanzaa.; int6 & int7 -> int8: the pinwheel does knot euchre and is a Kwanzaa.; [assump1] & int8 -> hypothesis; __PROVED__