the consumer is a photograph and it does squawk Malian if the dealer does not squawk frottage.
sent1: the consumer does squawk Malian. sent2: the mythologist does happen or it does treat cove or both if it does not covet characin. sent3: the mythologist squawks Malian or it happens or both. sent4: the consumer squawks frottage and/or covets distiller. sent5: if the mythologist does treat cove then the dealer does squawk frottage. sent6: the kaffiyeh does squawk Malian. sent7: if the mythologist does not treat cove it does photograph or it does happen or both. sent8: if the consumer does not squawk Malian it does covet characin and/or it does happen. sent9: the dealer is nonmetallic. sent10: that the consumer is a photograph and it does squawk Malian hold if the fact that the dealer does squawk frottage is not incorrect. sent11: if the consumer does treat cove the mythologist is a photograph. sent12: if the mythologist does happen the dealer does squawk frottage. sent13: the consumer does not covet characin. sent14: the mythologist photographs. sent15: the consumer does not treat cove. sent16: The Malian does squawk consumer.
void -> assump1: Let's assume that the fact that the mythologist does not covet characin is not incorrect.; sent2 & assump1 -> int1: the mythologist happens and/or treats cove.; int1 & sent12 & sent5 -> int2: the dealer does squawk frottage.; void -> assump2: Let's assume that the dealer does not squawk frottage.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the mythologist covets characin.;
$hypothesis$ = the consumer is a photograph and it does squawk Malian if the dealer does not squawk frottage. ; $context$ = sent1: the consumer does squawk Malian. sent2: the mythologist does happen or it does treat cove or both if it does not covet characin. sent3: the mythologist squawks Malian or it happens or both. sent4: the consumer squawks frottage and/or covets distiller. sent5: if the mythologist does treat cove then the dealer does squawk frottage. sent6: the kaffiyeh does squawk Malian. sent7: if the mythologist does not treat cove it does photograph or it does happen or both. sent8: if the consumer does not squawk Malian it does covet characin and/or it does happen. sent9: the dealer is nonmetallic. sent10: that the consumer is a photograph and it does squawk Malian hold if the fact that the dealer does squawk frottage is not incorrect. sent11: if the consumer does treat cove the mythologist is a photograph. sent12: if the mythologist does happen the dealer does squawk frottage. sent13: the consumer does not covet characin. sent14: the mythologist photographs. sent15: the consumer does not treat cove. sent16: The Malian does squawk consumer. ; $proof$ = 
void -> assump1: Let's assume that the fact that the mythologist does not covet characin is not incorrect.; sent2 & assump1 -> int1: the mythologist happens and/or treats cove.; int1 & sent12 & sent5 -> int2: the dealer does squawk frottage.; void -> assump2: Let's assume that the dealer does not squawk frottage.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the mythologist covets characin.; __UNKNOWN__