the lumbermill is a towhead or it is Bantoid or both.
sent1: the buttinsky is a Topeka. sent2: the buttinsky does multiply floating-moss or it is not a resuspension or both if it is a Topeka. sent3: if something does not multiply floating-moss then the fact that it is not lethargic and it is rhombic does not hold. sent4: the lumbermill is lethargic if the fact that the Gibbon is abnormal and is not a salmonberry is not right. sent5: the lumbermill is abnormal if it is Bantoid and it is a Topeka. sent6: the buttinsky is a large if the Gibbon is rhombic. sent7: the buttinsky does multiply floating-moss or it is a kind of a resuspension or both if the fact that it is a kind of a Topeka is not wrong. sent8: the fact that something is not a large is true if it does multiply floating-moss or it is not a kind of a resuspension or both. sent9: the fact that the Gibbon is a kind of abnormal a salmonberry is false. sent10: the Gibbon is rhombic if it is not non-abnormal and it is not a salmonberry. sent11: the Gibbon is rhombic if it is abnormal and it is a salmonberry.
void -> assump1: Let's assume that the Gibbon is abnormal but it is not a kind of a salmonberry.; sent10 & assump1 -> int1: the Gibbon is rhombic.; int1 & sent6 -> int2: the buttinsky is large.; sent8 -> int3: the buttinsky is not large if it multiplies floating-moss and/or it is not a resuspension.; sent2 & sent1 -> int4: either the buttinsky multiplies floating-moss or it is not a resuspension or both.; int3 & int4 -> int5: the buttinsky is not a large.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the Gibbon is a kind of abnormal thing that is not a salmonberry is false.; int7 & sent4 -> int8: the lumbermill is lethargic.;
the fact that the lumbermill is a towhead or Bantoid or both does not hold.
sent3 -> int9: that the fact that the Gibbon is not lethargic and is rhombic does not hold hold if the fact that it does not multiply floating-moss hold.;
$hypothesis$ = the lumbermill is a towhead or it is Bantoid or both. ; $context$ = sent1: the buttinsky is a Topeka. sent2: the buttinsky does multiply floating-moss or it is not a resuspension or both if it is a Topeka. sent3: if something does not multiply floating-moss then the fact that it is not lethargic and it is rhombic does not hold. sent4: the lumbermill is lethargic if the fact that the Gibbon is abnormal and is not a salmonberry is not right. sent5: the lumbermill is abnormal if it is Bantoid and it is a Topeka. sent6: the buttinsky is a large if the Gibbon is rhombic. sent7: the buttinsky does multiply floating-moss or it is a kind of a resuspension or both if the fact that it is a kind of a Topeka is not wrong. sent8: the fact that something is not a large is true if it does multiply floating-moss or it is not a kind of a resuspension or both. sent9: the fact that the Gibbon is a kind of abnormal a salmonberry is false. sent10: the Gibbon is rhombic if it is not non-abnormal and it is not a salmonberry. sent11: the Gibbon is rhombic if it is abnormal and it is a salmonberry. ; $proof$ = 
void -> assump1: Let's assume that the Gibbon is abnormal but it is not a kind of a salmonberry.; sent10 & assump1 -> int1: the Gibbon is rhombic.; int1 & sent6 -> int2: the buttinsky is large.; sent8 -> int3: the buttinsky is not large if it multiplies floating-moss and/or it is not a resuspension.; sent2 & sent1 -> int4: either the buttinsky multiplies floating-moss or it is not a resuspension or both.; int3 & int4 -> int5: the buttinsky is not a large.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the Gibbon is a kind of abnormal thing that is not a salmonberry is false.; int7 & sent4 -> int8: the lumbermill is lethargic.; __UNKNOWN__