the fact that the shred is not a kind of a Finnish but it is a cruller does not hold.
sent1: if the factotum is hydric then the A-line is not hydric. sent2: something is rectosigmoid and/or a obiism. sent3: the shred is a thrash if the A-line is a kind of a Uriah. sent4: if the A-line does draw membrane and/or does not spiral then it is not a thrash. sent5: if something does spiral then that it is a thrash and it is not a kind of a Uriah does not hold. sent6: if something is not a kind of a Uriah it is not a Finnish and it is a cruller. sent7: something is a spiral if it is a kind of a Finnish. sent8: the A-line is a Uriah. sent9: the A-line draws membrane and is Finnish if the shred is not hydric. sent10: the A-line either does draw membrane or is not a spiral or both if the fact that it is not hydric hold. sent11: if something is a kind of a thrash it spirals.
sent3 & sent8 -> int1: the shred is a thrash.; sent11 -> int2: if the shred is a thrash it is a spiral.; int1 & int2 -> int3: the shred spirals.;
the scooter is a kind of a cruller.
sent5 -> int4: that the fact that the A-line does thrash but it is not a Uriah is false hold if it spirals.; sent7 -> int5: the A-line is a spiral if that it is Finnish is not false.;
$hypothesis$ = the fact that the shred is not a kind of a Finnish but it is a cruller does not hold. ; $context$ = sent1: if the factotum is hydric then the A-line is not hydric. sent2: something is rectosigmoid and/or a obiism. sent3: the shred is a thrash if the A-line is a kind of a Uriah. sent4: if the A-line does draw membrane and/or does not spiral then it is not a thrash. sent5: if something does spiral then that it is a thrash and it is not a kind of a Uriah does not hold. sent6: if something is not a kind of a Uriah it is not a Finnish and it is a cruller. sent7: something is a spiral if it is a kind of a Finnish. sent8: the A-line is a Uriah. sent9: the A-line draws membrane and is Finnish if the shred is not hydric. sent10: the A-line either does draw membrane or is not a spiral or both if the fact that it is not hydric hold. sent11: if something is a kind of a thrash it spirals. ; $proof$ = 
sent3 & sent8 -> int1: the shred is a thrash.; sent11 -> int2: if the shred is a thrash it is a spiral.; int1 & int2 -> int3: the shred spirals.; __UNKNOWN__