that the Esselen is a periwig hold.
sent1: if the hatband dissembles pudge the fact that the Esselen is a kind of non-chimerical a hike is false. sent2: something is a periwig if it is a raffle. sent3: if the hatband is chimerical then the fact that the neutrophil does hike is correct. sent4: if an unconscious is a herrerasaur it is not unmilitary. sent5: if the neutrophil hikes then the rifleman dissembles pudge. sent6: if something is a herrerasaur then it is a kind of a raffle. sent7: the Esselen is an unconscious and it is a herrerasaur if the coon is not unmilitary. sent8: the fact that the rifleman does not dissemble handshake but it dissembles willow is wrong. sent9: the hatband is chimerical. sent10: the fact that the neutrophil is unconscious is correct. sent11: the rifleman does dissemble handshake if that it does not dissemble handshake and dissembles willow does not hold. sent12: if that something is non-chimerical a hike is incorrect then it is not a periwig. sent13: the coon is not unmilitary if the rifleman does dissemble handshake and dissembles pudge.
sent3 & sent9 -> int1: the neutrophil is a hike.; int1 & sent5 -> int2: the rifleman dissembles pudge.; sent11 & sent8 -> int3: the rifleman does dissemble handshake.; int2 & int3 -> int4: the rifleman dissembles handshake and it does dissemble pudge.; int4 & sent13 -> int5: the coon is not unmilitary.; int5 & sent7 -> int6: the Esselen is a kind of unconscious a herrerasaur.; int6 -> int7: the Esselen is a herrerasaur.; sent6 -> int8: the Esselen does raffle if it is a herrerasaur.; int7 & int8 -> int9: the Esselen does raffle.; sent2 -> int10: the Esselen is a kind of a periwig if it is a raffle.; int9 & int10 -> hypothesis;
the Esselen is not a kind of a periwig.
sent12 -> int11: if the fact that the Esselen is not chimerical but a hike is not true it is not a kind of a periwig.; sent4 -> int12: if the neutrophil is a kind of an unconscious and it is a herrerasaur it is not unmilitary.;
$hypothesis$ = that the Esselen is a periwig hold. ; $context$ = sent1: if the hatband dissembles pudge the fact that the Esselen is a kind of non-chimerical a hike is false. sent2: something is a periwig if it is a raffle. sent3: if the hatband is chimerical then the fact that the neutrophil does hike is correct. sent4: if an unconscious is a herrerasaur it is not unmilitary. sent5: if the neutrophil hikes then the rifleman dissembles pudge. sent6: if something is a herrerasaur then it is a kind of a raffle. sent7: the Esselen is an unconscious and it is a herrerasaur if the coon is not unmilitary. sent8: the fact that the rifleman does not dissemble handshake but it dissembles willow is wrong. sent9: the hatband is chimerical. sent10: the fact that the neutrophil is unconscious is correct. sent11: the rifleman does dissemble handshake if that it does not dissemble handshake and dissembles willow does not hold. sent12: if that something is non-chimerical a hike is incorrect then it is not a periwig. sent13: the coon is not unmilitary if the rifleman does dissemble handshake and dissembles pudge. ; $proof$ = 
sent3 & sent9 -> int1: the neutrophil is a hike.; int1 & sent5 -> int2: the rifleman dissembles pudge.; sent11 & sent8 -> int3: the rifleman does dissemble handshake.; int2 & int3 -> int4: the rifleman dissembles handshake and it does dissemble pudge.; int4 & sent13 -> int5: the coon is not unmilitary.; int5 & sent7 -> int6: the Esselen is a kind of unconscious a herrerasaur.; int6 -> int7: the Esselen is a herrerasaur.; sent6 -> int8: the Esselen does raffle if it is a herrerasaur.; int7 & int8 -> int9: the Esselen does raffle.; sent2 -> int10: the Esselen is a kind of a periwig if it is a raffle.; int9 & int10 -> hypothesis; __PROVED__