if the falcon-gentle is not a seaside the stratification is not a kind of a slippered.
sent1: the spinster is fugal if there is something such that it does not individuate spinster and it is zoological. sent2: something is a barnyard if that it whelps biopsy is true. sent3: if there exists something such that that it is not a seaside and is a kind of a Dylan is right the stratification does whelp biopsy. sent4: that the spinster does individuate spinster and/or it is not zoological is not right. sent5: a Chara that is a barnyard is not a slippered. sent6: the falcon-gentle is fugal and it is a Dylan. sent7: the falcon-gentle is fugal.
sent6 -> int1: the falcon-gentle is a Dylan.; void -> assump1: Let's assume that the falcon-gentle is not a seaside.; int1 & assump1 -> int2: the falcon-gentle is not a seaside but a Dylan.; int2 -> int3: there exists something such that it is not a seaside and is a Dylan.; int3 & sent3 -> int4: the stratification whelps biopsy.; sent2 -> int5: the stratification is a kind of a barnyard if it whelps biopsy.; int4 & int5 -> int6: the stratification is a barnyard.; sent4 -> int7: there exists something such that the fact that it individuates spinster and/or it is not zoological is not correct.; sent5 -> int8: the stratification is not a kind of a slippered if it is a kind of a Chara and it is a barnyard.;
$hypothesis$ = if the falcon-gentle is not a seaside the stratification is not a kind of a slippered. ; $context$ = sent1: the spinster is fugal if there is something such that it does not individuate spinster and it is zoological. sent2: something is a barnyard if that it whelps biopsy is true. sent3: if there exists something such that that it is not a seaside and is a kind of a Dylan is right the stratification does whelp biopsy. sent4: that the spinster does individuate spinster and/or it is not zoological is not right. sent5: a Chara that is a barnyard is not a slippered. sent6: the falcon-gentle is fugal and it is a Dylan. sent7: the falcon-gentle is fugal. ; $proof$ = 
sent6 -> int1: the falcon-gentle is a Dylan.; void -> assump1: Let's assume that the falcon-gentle is not a seaside.; int1 & assump1 -> int2: the falcon-gentle is not a seaside but a Dylan.; int2 -> int3: there exists something such that it is not a seaside and is a Dylan.; int3 & sent3 -> int4: the stratification whelps biopsy.; sent2 -> int5: the stratification is a kind of a barnyard if it whelps biopsy.; int4 & int5 -> int6: the stratification is a barnyard.; sent4 -> int7: there exists something such that the fact that it individuates spinster and/or it is not zoological is not correct.; sent5 -> int8: the stratification is not a kind of a slippered if it is a kind of a Chara and it is a barnyard.; __UNKNOWN__