the ratter is a Tudor and it is a predestinarianism.
sent1: the fact that the boom does not tunnel bluebell and is not a arcus is incorrect if it does not emote. sent2: if the ratter does tunnel Zinzendorf it is a Tudor. sent3: if the condiment is not a kind of a professorship then the boom is a arcus and it emotes. sent4: the saturation does not tunnel Zinzendorf if the fact that it is not a kind of a arcus and does not tunnel bluebell is wrong. sent5: if something does not liquidize and it does not round it is viatical. sent6: either the outrigger is a latex or it is not a professorship or both if it does not chomp. sent7: the fact that that the mango does not chomp and it is not aboriginal hold is not right if the attraction is not steroidal. sent8: The Zinzendorf does tunnel ratter. sent9: the fact that the shop is calculous and a perinatologist is wrong. sent10: the manipulator does not liquidize. sent11: if the fact that something is viatical and is orthopedics is not true then it is not viatical. sent12: if the manipulator is viatical then the ratter is a predestinarianism. sent13: the ratter does not liquidize. sent14: the fact that the saturation is not a arcus and does not tunnel bluebell is not true if something is a arcus. sent15: that something is a Tudor and it is a predestinarianism does not hold if it is not viatical. sent16: the outrigger does not chomp if the fact that the mango does not chomp and it is non-aboriginal is false. sent17: something is non-viatical thing that is not eruptive if it is not a predestinarianism. sent18: the Cartesian is not calculous if the fact that the shop is a kind of calculous a perinatologist does not hold. sent19: the fact that the ratter does not tunnel Zinzendorf but it is not non-Tudor does not hold if the saturation is orthopedics. sent20: the manipulator does not round. sent21: the manipulator does peck facade. sent22: if either something is a latex or it is not a professorship or both the condiment is not a kind of a professorship. sent23: the ratter does tunnel Zinzendorf. sent24: something is nonsteroidal if it deaminates bluebell. sent25: if the Cartesian is not calculous and/or does not deaminate bluebell the attraction deaminate bluebell.
sent5 -> int1: if the manipulator does not liquidize and it is not a rounded it is viatical.; sent10 & sent20 -> int2: the manipulator does not liquidize and is not a rounded.; int1 & int2 -> int3: the manipulator is viatical.; int3 & sent12 -> int4: the ratter is a predestinarianism.; sent2 & sent23 -> int5: the ratter is a kind of a Tudor.; int4 & int5 -> hypothesis;
that the ratter is a kind of a Tudor that is a kind of a predestinarianism is not true.
sent15 -> int6: if the ratter is not viatical that it is a kind of a Tudor and it is a predestinarianism is false.; sent11 -> int7: if the fact that the ratter is viatical and not non-orthopedics is incorrect then it is not viatical.; sent24 -> int8: that the attraction is not steroidal is correct if it does deaminate bluebell.; sent18 & sent9 -> int9: the Cartesian is not calculous.; int9 -> int10: the Cartesian is not calculous and/or it does not deaminate bluebell.; sent25 & int10 -> int11: the fact that the attraction does not deaminate bluebell is incorrect.; int8 & int11 -> int12: the attraction is not steroidal.; sent7 & int12 -> int13: that the mango does not chomp and it is not aboriginal is not true.; sent16 & int13 -> int14: the outrigger does not chomp.; sent6 & int14 -> int15: either the outrigger is a kind of a latex or it is not a professorship or both.; int15 -> int16: something is a latex or not a professorship or both.; int16 & sent22 -> int17: the condiment is not a professorship.; sent3 & int17 -> int18: the boom is a kind of a arcus and it does emote.; int18 -> int19: the boom is a kind of a arcus.; int19 -> int20: there is something such that it is a kind of a arcus.; int20 & sent14 -> int21: that the saturation is not a arcus and it does not tunnel bluebell does not hold.; sent4 & int21 -> int22: the saturation does not tunnel Zinzendorf.; int22 -> int23: something does not tunnel Zinzendorf.;
$hypothesis$ = the ratter is a Tudor and it is a predestinarianism. ; $context$ = sent1: the fact that the boom does not tunnel bluebell and is not a arcus is incorrect if it does not emote. sent2: if the ratter does tunnel Zinzendorf it is a Tudor. sent3: if the condiment is not a kind of a professorship then the boom is a arcus and it emotes. sent4: the saturation does not tunnel Zinzendorf if the fact that it is not a kind of a arcus and does not tunnel bluebell is wrong. sent5: if something does not liquidize and it does not round it is viatical. sent6: either the outrigger is a latex or it is not a professorship or both if it does not chomp. sent7: the fact that that the mango does not chomp and it is not aboriginal hold is not right if the attraction is not steroidal. sent8: The Zinzendorf does tunnel ratter. sent9: the fact that the shop is calculous and a perinatologist is wrong. sent10: the manipulator does not liquidize. sent11: if the fact that something is viatical and is orthopedics is not true then it is not viatical. sent12: if the manipulator is viatical then the ratter is a predestinarianism. sent13: the ratter does not liquidize. sent14: the fact that the saturation is not a arcus and does not tunnel bluebell is not true if something is a arcus. sent15: that something is a Tudor and it is a predestinarianism does not hold if it is not viatical. sent16: the outrigger does not chomp if the fact that the mango does not chomp and it is non-aboriginal is false. sent17: something is non-viatical thing that is not eruptive if it is not a predestinarianism. sent18: the Cartesian is not calculous if the fact that the shop is a kind of calculous a perinatologist does not hold. sent19: the fact that the ratter does not tunnel Zinzendorf but it is not non-Tudor does not hold if the saturation is orthopedics. sent20: the manipulator does not round. sent21: the manipulator does peck facade. sent22: if either something is a latex or it is not a professorship or both the condiment is not a kind of a professorship. sent23: the ratter does tunnel Zinzendorf. sent24: something is nonsteroidal if it deaminates bluebell. sent25: if the Cartesian is not calculous and/or does not deaminate bluebell the attraction deaminate bluebell. ; $proof$ = 
sent5 -> int1: if the manipulator does not liquidize and it is not a rounded it is viatical.; sent10 & sent20 -> int2: the manipulator does not liquidize and is not a rounded.; int1 & int2 -> int3: the manipulator is viatical.; int3 & sent12 -> int4: the ratter is a predestinarianism.; sent2 & sent23 -> int5: the ratter is a kind of a Tudor.; int4 & int5 -> hypothesis; __PROVED__