the fact that if the fact that the loveseat is a jewfish is not wrong then the pond-skater does ferment loveseat is wrong.
sent1: the pond-skater is a jewfish. sent2: the levitation is a kind of a snip. sent3: the loveseat is a snip if the fact that it is an imponderable is not incorrect. sent4: the rudderpost is a jewfish. sent5: the Lamb is a snip. sent6: if the pond-skater is a kind of an imponderable the loveseat ferments loveseat. sent7: something is a jewfish if that it is an imponderable and/or it is not a snip does not hold. sent8: the rudderpost is a jewfish if the loveseat is a snip. sent9: something is an imponderable if it is a snip. sent10: something is aeronautical if it is not non-acoustic. sent11: the loveseat is a kind of a jewfish if it is a snip. sent12: the heulandite is a jewfish. sent13: if the loveseat is a kind of an imponderable then the rudderpost is a snip. sent14: something is a kind of an imponderable if it is a jewfish. sent15: if the pond-skater is a kind of a jewfish then the loveseat does ferment loveseat. sent16: the pond-skater is a kind of a jewfish if the loveseat ferments loveseat. sent17: the rudderpost is imponderable. sent18: the loveseat is dependable. sent19: that the odontoglossum is imponderable and/or is not a snip is false if the rudderpost does not ferment loveseat. sent20: if the rudderpost does snip the pond-skater ferments loveseat.
sent14 -> int1: if the loveseat is a jewfish then it is an imponderable.; void -> assump1: Let's assume that the loveseat is a jewfish.; int1 & assump1 -> int2: the loveseat is imponderable.; sent13 & int2 -> int3: the rudderpost snips.; sent20 & int3 -> int4: the pond-skater does ferment loveseat.; [assump1] & int4 -> hypothesis;
the odontoglossum is a jewfish.
sent7 -> int5: that if that either the odontoglossum is not ponderable or it does not snip or both is not right the odontoglossum is a jewfish is not incorrect.;
$hypothesis$ = the fact that if the fact that the loveseat is a jewfish is not wrong then the pond-skater does ferment loveseat is wrong. ; $context$ = sent1: the pond-skater is a jewfish. sent2: the levitation is a kind of a snip. sent3: the loveseat is a snip if the fact that it is an imponderable is not incorrect. sent4: the rudderpost is a jewfish. sent5: the Lamb is a snip. sent6: if the pond-skater is a kind of an imponderable the loveseat ferments loveseat. sent7: something is a jewfish if that it is an imponderable and/or it is not a snip does not hold. sent8: the rudderpost is a jewfish if the loveseat is a snip. sent9: something is an imponderable if it is a snip. sent10: something is aeronautical if it is not non-acoustic. sent11: the loveseat is a kind of a jewfish if it is a snip. sent12: the heulandite is a jewfish. sent13: if the loveseat is a kind of an imponderable then the rudderpost is a snip. sent14: something is a kind of an imponderable if it is a jewfish. sent15: if the pond-skater is a kind of a jewfish then the loveseat does ferment loveseat. sent16: the pond-skater is a kind of a jewfish if the loveseat ferments loveseat. sent17: the rudderpost is imponderable. sent18: the loveseat is dependable. sent19: that the odontoglossum is imponderable and/or is not a snip is false if the rudderpost does not ferment loveseat. sent20: if the rudderpost does snip the pond-skater ferments loveseat. ; $proof$ = 
sent14 -> int1: if the loveseat is a jewfish then it is an imponderable.; void -> assump1: Let's assume that the loveseat is a jewfish.; int1 & assump1 -> int2: the loveseat is imponderable.; sent13 & int2 -> int3: the rudderpost snips.; sent20 & int3 -> int4: the pond-skater does ferment loveseat.; [assump1] & int4 -> hypothesis; __DISPROVED__