the fact that the card is non-Icelandic and does urticate Day is false.
sent1: the ignition urticates morula if the fact that the insectifuge does not throw or is not a kind of a gabled or both is not true. sent2: the fact that either the insectifuge is not a thrown or it is not a kind of a gabled or both does not hold if the puddler is not a quodlibet. sent3: the earlobe is not a grounds. sent4: if the insectifuge is not a grounds and does not urticate morula the ignition is not a grounds. sent5: the Spender is not biologistic if there is something such that it is a gabled. sent6: the vacuum is a gabled. sent7: something is distrustful if it is Filipino. sent8: the puddler is not a kind of a quodlibet. sent9: the card is a quodlibet if the puddler is acidimetric. sent10: if the earlobe is a acidimetry the ignition is not spirited. sent11: the card is a kind of a quodlibet and it is Filipino. sent12: the insectifuge is a Filipino. sent13: the roulade does not urticate morula. sent14: something is a acidimetry or it does urticate Winnebago or both if it is not a grounds. sent15: if the Spender is not biologistic then the plasmacyte is acidimetric or it is a thrown or both. sent16: if something is distrustful and acidimetric then it is not spiritless. sent17: if the card does not urticate Day then that it is spiritless and it is a Icelandic is false. sent18: if something does not urticate morula then it is a Popillia that is a kind of a grounds. sent19: that if the puddler is acidimetric the insectifuge is acidimetric is not wrong. sent20: if the ignition is not distrustful the card is a kind of a Filipino and it is acidimetric. sent21: if the ignition is not a kind of a grounds then the card is not Icelandic and urticates Day. sent22: if something is not biologistic that it is not Icelandic and urticates Day is incorrect. sent23: that the ignition is not distrustful is not incorrect if it is not spirited and it urticates morula. sent24: if something is not non-Filipino and it is acidimetric it is not biologistic. sent25: the ignition is spiritless if the earlobe urticates Winnebago. sent26: something majors if it is not spirited.
sent14 -> int1: if the earlobe is not a kind of a grounds then it is a acidimetry or it urticates Winnebago or both.; int1 & sent3 -> int2: the earlobe either is a acidimetry or urticates Winnebago or both.; int2 & sent10 & sent25 -> int3: the ignition is spiritless.; sent2 & sent8 -> int4: the fact that the fact that the insectifuge is not a kind of a thrown or it is not a gabled or both is not correct is not false.; sent1 & int4 -> int5: the ignition does urticate morula.; int3 & int5 -> int6: the ignition is spiritless and urticates morula.; int6 & sent23 -> int7: the ignition is not distrustful.; int7 & sent20 -> int8: the card is a kind of Filipino thing that is acidimetric.; sent24 -> int9: the card is not biologistic if it is a kind of a Filipino and is acidimetric.; int8 & int9 -> int10: the card is not biologistic.; sent22 -> int11: the fact that the card is non-Icelandic thing that does urticate Day is not right if it is not biologistic.; int10 & int11 -> hypothesis;
the card is not a kind of a Icelandic and does urticate Day.
sent16 -> int12: if the insectifuge is both distrustful and acidimetric it is not spiritless.; sent7 -> int13: if the insectifuge is a kind of a Filipino it is distrustful.; int13 & sent12 -> int14: the insectifuge is distrustful.; sent6 -> int15: something is a gabled.; int15 & sent5 -> int16: the Spender is not biologistic.; sent15 & int16 -> int17: the plasmacyte is acidimetric and/or is a thrown.;
$hypothesis$ = the fact that the card is non-Icelandic and does urticate Day is false. ; $context$ = sent1: the ignition urticates morula if the fact that the insectifuge does not throw or is not a kind of a gabled or both is not true. sent2: the fact that either the insectifuge is not a thrown or it is not a kind of a gabled or both does not hold if the puddler is not a quodlibet. sent3: the earlobe is not a grounds. sent4: if the insectifuge is not a grounds and does not urticate morula the ignition is not a grounds. sent5: the Spender is not biologistic if there is something such that it is a gabled. sent6: the vacuum is a gabled. sent7: something is distrustful if it is Filipino. sent8: the puddler is not a kind of a quodlibet. sent9: the card is a quodlibet if the puddler is acidimetric. sent10: if the earlobe is a acidimetry the ignition is not spirited. sent11: the card is a kind of a quodlibet and it is Filipino. sent12: the insectifuge is a Filipino. sent13: the roulade does not urticate morula. sent14: something is a acidimetry or it does urticate Winnebago or both if it is not a grounds. sent15: if the Spender is not biologistic then the plasmacyte is acidimetric or it is a thrown or both. sent16: if something is distrustful and acidimetric then it is not spiritless. sent17: if the card does not urticate Day then that it is spiritless and it is a Icelandic is false. sent18: if something does not urticate morula then it is a Popillia that is a kind of a grounds. sent19: that if the puddler is acidimetric the insectifuge is acidimetric is not wrong. sent20: if the ignition is not distrustful the card is a kind of a Filipino and it is acidimetric. sent21: if the ignition is not a kind of a grounds then the card is not Icelandic and urticates Day. sent22: if something is not biologistic that it is not Icelandic and urticates Day is incorrect. sent23: that the ignition is not distrustful is not incorrect if it is not spirited and it urticates morula. sent24: if something is not non-Filipino and it is acidimetric it is not biologistic. sent25: the ignition is spiritless if the earlobe urticates Winnebago. sent26: something majors if it is not spirited. ; $proof$ = 
sent14 -> int1: if the earlobe is not a kind of a grounds then it is a acidimetry or it urticates Winnebago or both.; int1 & sent3 -> int2: the earlobe either is a acidimetry or urticates Winnebago or both.; int2 & sent10 & sent25 -> int3: the ignition is spiritless.; sent2 & sent8 -> int4: the fact that the fact that the insectifuge is not a kind of a thrown or it is not a gabled or both is not correct is not false.; sent1 & int4 -> int5: the ignition does urticate morula.; int3 & int5 -> int6: the ignition is spiritless and urticates morula.; int6 & sent23 -> int7: the ignition is not distrustful.; int7 & sent20 -> int8: the card is a kind of Filipino thing that is acidimetric.; sent24 -> int9: the card is not biologistic if it is a kind of a Filipino and is acidimetric.; int8 & int9 -> int10: the card is not biologistic.; sent22 -> int11: the fact that the card is non-Icelandic thing that does urticate Day is not right if it is not biologistic.; int10 & int11 -> hypothesis; __PROVED__