the fact that the Kaochlor does not mistake satellite and does not troop Chionanthus is false.
sent1: the teetotaler does not mistake river but it is a kind of a get. sent2: if the fact that something is a flight that does not mistake teetotaler is incorrect it mistakes satellite. sent3: the fact that the fact that the Kaochlor does not mistake satellite and it does not troop Chionanthus hold does not hold if the teetotaler mistake satellite. sent4: the Kaochlor does not mistake satellite and does not troop Chionanthus if it does not knell. sent5: if the teetotaler does not mistake river but it does get then it does not knell. sent6: if a flight does not mistake teetotaler it is a knell.
sent6 -> int1: the fact that the teetotaler is a kind of a knell is not wrong if it is a kind of a flight and does not mistake teetotaler.; void -> assump1: Let's assume that the teetotaler does flight but it does not mistake teetotaler.; int1 & assump1 -> int2: the teetotaler is a knell.; sent5 & sent1 -> int3: the teetotaler is not a knell.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the teetotaler is a flight but it does not mistake teetotaler is false.; sent2 -> int6: if that the teetotaler is a flight but it does not mistake teetotaler does not hold it does mistake satellite.; int5 & int6 -> int7: that the teetotaler does mistake satellite is true.; int7 & sent3 -> hypothesis;
the Kaochlor does not mistake satellite and it does not troop Chionanthus.
$hypothesis$ = the fact that the Kaochlor does not mistake satellite and does not troop Chionanthus is false. ; $context$ = sent1: the teetotaler does not mistake river but it is a kind of a get. sent2: if the fact that something is a flight that does not mistake teetotaler is incorrect it mistakes satellite. sent3: the fact that the fact that the Kaochlor does not mistake satellite and it does not troop Chionanthus hold does not hold if the teetotaler mistake satellite. sent4: the Kaochlor does not mistake satellite and does not troop Chionanthus if it does not knell. sent5: if the teetotaler does not mistake river but it does get then it does not knell. sent6: if a flight does not mistake teetotaler it is a knell. ; $proof$ = 
sent6 -> int1: the fact that the teetotaler is a kind of a knell is not wrong if it is a kind of a flight and does not mistake teetotaler.; void -> assump1: Let's assume that the teetotaler does flight but it does not mistake teetotaler.; int1 & assump1 -> int2: the teetotaler is a knell.; sent5 & sent1 -> int3: the teetotaler is not a knell.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the teetotaler is a flight but it does not mistake teetotaler is false.; sent2 -> int6: if that the teetotaler is a flight but it does not mistake teetotaler does not hold it does mistake satellite.; int5 & int6 -> int7: that the teetotaler does mistake satellite is true.; int7 & sent3 -> hypothesis; __PROVED__