the orlop is a kind of a Lanthanotidae and/or is not breakable.
sent1: if something that does freckle weighted is inextinguishable it is not a kind of a lace. sent2: the fact that the fact that the tremble is interior but it is not a rate hold is not true if the para does rate. sent3: if something is not breakable then the tremble is interior. sent4: if something freckles hailstorm but it is not a lace the fanion does not roll Reid. sent5: the necker does roll plural if there is something such that it does not witness. sent6: if the fanion does not roll Reid the orlop is a kind of a Lanthanotidae or it is unbreakable or both. sent7: something is a witness. sent8: if that the necker rolls plural hold the para is a rate. sent9: the laparoscope is not a throstle. sent10: the laparoscope does freckle hailstorm if that the tremble is not interior is right. sent11: if something that does not freckle weighted is inextinguishable the fact that it does not lace is true. sent12: if something does not witness then the fact that either it is a Lanthanotidae or it is not a breakable or both is wrong. sent13: something that does witness and rolls plural is not inextinguishable. sent14: something is not a witness. sent15: if the fact that the tremble is interior but it does not rate is not right the laparoscope freckles hailstorm. sent16: the laparoscope does not freckle weighted if it is not a throstle. sent17: that the laparoscope does not freckle weighted but it is inextinguishable hold if it is not a throstle.
sent14 & sent5 -> int1: the necker does roll plural.; int1 & sent8 -> int2: the para is a rate.; int2 & sent2 -> int3: that the tremble is interior but it is not a rate does not hold.; int3 & sent15 -> int4: the laparoscope freckles hailstorm.; sent11 -> int5: the laparoscope is not a lace if it does not freckle weighted and it is inextinguishable.; sent17 & sent9 -> int6: the laparoscope does not freckle weighted and is inextinguishable.; int5 & int6 -> int7: the laparoscope is not a lace.; int4 & int7 -> int8: the laparoscope does freckle hailstorm but it is not a lace.; int8 -> int9: there exists something such that it does freckle hailstorm and it does not lace.; int9 & sent4 -> int10: the fanion does not roll Reid.; int10 & sent6 -> hypothesis;
the flickertail is not inextinguishable.
sent13 -> int11: if the flickertail witnesses and it does roll plural the fact that it is not inextinguishable is correct.;
$hypothesis$ = the orlop is a kind of a Lanthanotidae and/or is not breakable. ; $context$ = sent1: if something that does freckle weighted is inextinguishable it is not a kind of a lace. sent2: the fact that the fact that the tremble is interior but it is not a rate hold is not true if the para does rate. sent3: if something is not breakable then the tremble is interior. sent4: if something freckles hailstorm but it is not a lace the fanion does not roll Reid. sent5: the necker does roll plural if there is something such that it does not witness. sent6: if the fanion does not roll Reid the orlop is a kind of a Lanthanotidae or it is unbreakable or both. sent7: something is a witness. sent8: if that the necker rolls plural hold the para is a rate. sent9: the laparoscope is not a throstle. sent10: the laparoscope does freckle hailstorm if that the tremble is not interior is right. sent11: if something that does not freckle weighted is inextinguishable the fact that it does not lace is true. sent12: if something does not witness then the fact that either it is a Lanthanotidae or it is not a breakable or both is wrong. sent13: something that does witness and rolls plural is not inextinguishable. sent14: something is not a witness. sent15: if the fact that the tremble is interior but it does not rate is not right the laparoscope freckles hailstorm. sent16: the laparoscope does not freckle weighted if it is not a throstle. sent17: that the laparoscope does not freckle weighted but it is inextinguishable hold if it is not a throstle. ; $proof$ = 
sent14 & sent5 -> int1: the necker does roll plural.; int1 & sent8 -> int2: the para is a rate.; int2 & sent2 -> int3: that the tremble is interior but it is not a rate does not hold.; int3 & sent15 -> int4: the laparoscope freckles hailstorm.; sent11 -> int5: the laparoscope is not a lace if it does not freckle weighted and it is inextinguishable.; sent17 & sent9 -> int6: the laparoscope does not freckle weighted and is inextinguishable.; int5 & int6 -> int7: the laparoscope is not a lace.; int4 & int7 -> int8: the laparoscope does freckle hailstorm but it is not a lace.; int8 -> int9: there exists something such that it does freckle hailstorm and it does not lace.; int9 & sent4 -> int10: the fanion does not roll Reid.; int10 & sent6 -> hypothesis; __PROVED__