the princewood is not a kind of a kleptomaniac.
sent1: there is nothing such that it does not predestine thought-image and it is isothermic. sent2: if something that tightens is not isothermic that it is not a royal is correct. sent3: something is a kleptomaniac if it does jibe. sent4: something is not a Huntsville if it wharfs and it is a revolution. sent5: the porthole is not a Huntsville if there is something such that the fact that it does not predestine thought-image and is not a kind of a kleptomaniac is not true. sent6: the fact that if the fact that the serin does not predestine thought-image is not wrong then the serin is a Huntsville that is a kind of a revolution is right. sent7: the princewood does jibe if the serin does jibe but it does not wharf. sent8: the princewood is not equine. sent9: that the serin does jibe is not false. sent10: if the firetrap is not a royal that the serin does not predestine thought-image and it is not a kleptomaniac is incorrect. sent11: if something does not wharf then it is a revolution. sent12: the fact that the firetrap is a kind of a royal is not false. sent13: something either does not jibe or does not wharf or both if it is not a Huntsville. sent14: the princewood is not a kind of a kleptomaniac if there is something such that it does predestine thought-image and is not a Huntsville. sent15: something is a kind of a revolution if it does not jibe. sent16: the firetrap does predestine thought-image if there is something such that that it does not predestine thought-image and it is isothermic is wrong. sent17: if the firetrap is a royal then it is a revolution.
sent17 & sent12 -> int1: the firetrap is a revolution.; sent4 -> int2: the firetrap is not a Huntsville if it does wharf and is a revolution.; sent1 -> int3: that the celery does not predestine thought-image and is isothermic is false.; int3 -> int4: there exists something such that the fact that it does not predestine thought-image and it is isothermic does not hold.; int4 & sent16 -> int5: the firetrap predestines thought-image.;
the princewood is a kind of a kleptomaniac.
sent3 -> int6: the princewood is a kind of a kleptomaniac if it does jibe.;
$hypothesis$ = the princewood is not a kind of a kleptomaniac. ; $context$ = sent1: there is nothing such that it does not predestine thought-image and it is isothermic. sent2: if something that tightens is not isothermic that it is not a royal is correct. sent3: something is a kleptomaniac if it does jibe. sent4: something is not a Huntsville if it wharfs and it is a revolution. sent5: the porthole is not a Huntsville if there is something such that the fact that it does not predestine thought-image and is not a kind of a kleptomaniac is not true. sent6: the fact that if the fact that the serin does not predestine thought-image is not wrong then the serin is a Huntsville that is a kind of a revolution is right. sent7: the princewood does jibe if the serin does jibe but it does not wharf. sent8: the princewood is not equine. sent9: that the serin does jibe is not false. sent10: if the firetrap is not a royal that the serin does not predestine thought-image and it is not a kleptomaniac is incorrect. sent11: if something does not wharf then it is a revolution. sent12: the fact that the firetrap is a kind of a royal is not false. sent13: something either does not jibe or does not wharf or both if it is not a Huntsville. sent14: the princewood is not a kind of a kleptomaniac if there is something such that it does predestine thought-image and is not a Huntsville. sent15: something is a kind of a revolution if it does not jibe. sent16: the firetrap does predestine thought-image if there is something such that that it does not predestine thought-image and it is isothermic is wrong. sent17: if the firetrap is a royal then it is a revolution. ; $proof$ = 
sent17 & sent12 -> int1: the firetrap is a revolution.; sent4 -> int2: the firetrap is not a Huntsville if it does wharf and is a revolution.; sent1 -> int3: that the celery does not predestine thought-image and is isothermic is false.; int3 -> int4: there exists something such that the fact that it does not predestine thought-image and it is isothermic does not hold.; int4 & sent16 -> int5: the firetrap predestines thought-image.; __UNKNOWN__