the fact that if the conduit is not awake the canecutter citifies cigarfish and it does frost is not correct.
sent1: the fact that the hurdy-gurdy does not flame Changtzu is not false if the Tartuffe does not flame Changtzu and it does not build splashdown. sent2: something gums if it is not proconsular. sent3: if the hurdy-gurdy does not flame Changtzu the canecutter is a frost and it is a Moody. sent4: if that something is both not a frost and awake is not right then it does not awake. sent5: if something does not awake that it citifies cigarfish and it is proconsular is wrong. sent6: the canecutter is not proconsular if that it does not citify cigarfish is true. sent7: the Tartuffe does not build splashdown. sent8: the Tartuffe does not flame Changtzu. sent9: the conduit is a kind of a Moody. sent10: the conduit is awake if the canecutter is a kind of a gumma. sent11: The Changtzu does not flame Tartuffe. sent12: The splashdown does not build Tartuffe.
void -> assump2: Let's assume that the canecutter does not citify cigarfish.; sent6 & assump2 -> int1: the canecutter is not proconsular.; sent2 -> int2: if the canecutter is not proconsular it is a gumma.; int1 & int2 -> int3: the canecutter gums.; int3 & sent10 -> int4: the conduit does awake.; void -> assump1: Let's assume that the conduit is not awake.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: that the canecutter does citify cigarfish hold.; sent8 & sent7 -> int7: the Tartuffe does not flame Changtzu and it does not build splashdown.; sent1 & int7 -> int8: the hurdy-gurdy does not flame Changtzu.; sent3 & int8 -> int9: the canecutter is both a frost and a Moody.; int9 -> int10: the canecutter does frost.; int6 & int10 -> int11: the fact that the canecutter does citify cigarfish and is a kind of a frost hold.; [assump1] & int11 -> hypothesis;
the hurdy-gurdy is not a gumma.
sent5 -> int12: if the canecutter is not awake the fact that it citifies cigarfish and is proconsular is not right.; sent4 -> int13: if the fact that the canecutter is both not a frost and awake does not hold then that it does not awake is not false.;
$hypothesis$ = the fact that if the conduit is not awake the canecutter citifies cigarfish and it does frost is not correct. ; $context$ = sent1: the fact that the hurdy-gurdy does not flame Changtzu is not false if the Tartuffe does not flame Changtzu and it does not build splashdown. sent2: something gums if it is not proconsular. sent3: if the hurdy-gurdy does not flame Changtzu the canecutter is a frost and it is a Moody. sent4: if that something is both not a frost and awake is not right then it does not awake. sent5: if something does not awake that it citifies cigarfish and it is proconsular is wrong. sent6: the canecutter is not proconsular if that it does not citify cigarfish is true. sent7: the Tartuffe does not build splashdown. sent8: the Tartuffe does not flame Changtzu. sent9: the conduit is a kind of a Moody. sent10: the conduit is awake if the canecutter is a kind of a gumma. sent11: The Changtzu does not flame Tartuffe. sent12: The splashdown does not build Tartuffe. ; $proof$ = 
void -> assump2: Let's assume that the canecutter does not citify cigarfish.; sent6 & assump2 -> int1: the canecutter is not proconsular.; sent2 -> int2: if the canecutter is not proconsular it is a gumma.; int1 & int2 -> int3: the canecutter gums.; int3 & sent10 -> int4: the conduit does awake.; void -> assump1: Let's assume that the conduit is not awake.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: that the canecutter does citify cigarfish hold.; sent8 & sent7 -> int7: the Tartuffe does not flame Changtzu and it does not build splashdown.; sent1 & int7 -> int8: the hurdy-gurdy does not flame Changtzu.; sent3 & int8 -> int9: the canecutter is both a frost and a Moody.; int9 -> int10: the canecutter does frost.; int6 & int10 -> int11: the fact that the canecutter does citify cigarfish and is a kind of a frost hold.; [assump1] & int11 -> hypothesis; __DISPROVED__