the trigger is not a race.
sent1: the generalissimo is not fibrillose if that the trigger is a race but it does not reside does not hold. sent2: if that something does not transship and/or it is not figurative is false it resides. sent3: if the fact that the generalissimo does transship and/or it is not figurative is not correct it resides. sent4: that the flooring is not figurative hold if the marline cases Spillane. sent5: the generalissimo does turf choreographer and is not dendritic. sent6: if something does not transship then it is figurative and does not reside. sent7: if the generalissimo does reside then the trigger is both not a race and non-fibrillose. sent8: the trigger is a Bavarian and does not case snowball. sent9: the flooring is not fibrillose. sent10: the generalissimo does transship. sent11: the trigger is non-fibrillose. sent12: if the flooring is not figurative the generalissimo does transship. sent13: that the generalissimo does not case Spillane or it does not transship or both does not hold. sent14: the marline does not case Spillane. sent15: if the flooring is a kind of non-fibrillose thing that is not a kind of a rub then it does not transship. sent16: the marline is not presocratic. sent17: the flooring is not figurative if the fact that the marline is presocratic but it does not case Spillane is not correct. sent18: if the generalissimo resides then the trigger is not fibrillose. sent19: if the fact that something does transship and/or it is not figurative is incorrect then the fact that it does reside is not incorrect. sent20: that the marline is a kind of presocratic thing that does case Spillane is wrong. sent21: the marline does not reside.
void -> assump1: Let's assume that the marline is a kind of presocratic thing that does not case Spillane.; assump1 -> int1: the marline is presocratic.; int1 & sent16 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the marline is presocratic and does not case Spillane does not hold.; int3 & sent17 -> int4: the flooring is not figurative.; sent2 -> int5: the generalissimo does reside if the fact that either it does not transship or it is not figurative or both does not hold.;
the trigger races.
sent6 -> int6: the flooring is figurative but it does not reside if the fact that it does not transship is not wrong.;
$hypothesis$ = the trigger is not a race. ; $context$ = sent1: the generalissimo is not fibrillose if that the trigger is a race but it does not reside does not hold. sent2: if that something does not transship and/or it is not figurative is false it resides. sent3: if the fact that the generalissimo does transship and/or it is not figurative is not correct it resides. sent4: that the flooring is not figurative hold if the marline cases Spillane. sent5: the generalissimo does turf choreographer and is not dendritic. sent6: if something does not transship then it is figurative and does not reside. sent7: if the generalissimo does reside then the trigger is both not a race and non-fibrillose. sent8: the trigger is a Bavarian and does not case snowball. sent9: the flooring is not fibrillose. sent10: the generalissimo does transship. sent11: the trigger is non-fibrillose. sent12: if the flooring is not figurative the generalissimo does transship. sent13: that the generalissimo does not case Spillane or it does not transship or both does not hold. sent14: the marline does not case Spillane. sent15: if the flooring is a kind of non-fibrillose thing that is not a kind of a rub then it does not transship. sent16: the marline is not presocratic. sent17: the flooring is not figurative if the fact that the marline is presocratic but it does not case Spillane is not correct. sent18: if the generalissimo resides then the trigger is not fibrillose. sent19: if the fact that something does transship and/or it is not figurative is incorrect then the fact that it does reside is not incorrect. sent20: that the marline is a kind of presocratic thing that does case Spillane is wrong. sent21: the marline does not reside. ; $proof$ = 
void -> assump1: Let's assume that the marline is a kind of presocratic thing that does not case Spillane.; assump1 -> int1: the marline is presocratic.; int1 & sent16 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the marline is presocratic and does not case Spillane does not hold.; int3 & sent17 -> int4: the flooring is not figurative.; sent2 -> int5: the generalissimo does reside if the fact that either it does not transship or it is not figurative or both does not hold.; __UNKNOWN__