the fact that the aftershock is not a kind of a fetoprotein and does repot moodiness is incorrect.
sent1: the fact that the exile does not lean love and is not a kind of a Balinese is incorrect. sent2: that the exile does lean love and is not a Balinese is not right. sent3: something is not a fetoprotein but cherty if it is amalgamative. sent4: the aftershock is not warming if there is something such that it does blind pronghorn. sent5: the aftershock is a glide and is not a Balinese if it does blind lobby. sent6: the exile does not repot carcinoid if the magnifico does not repot carcinoid and is not a cardhouse. sent7: the aftershock is a Balinese if the fact that the exile does not lean love and is not a kind of a Balinese is not right. sent8: the aftershock repots moodiness and it does blind lobby if the exile does not lean love. sent9: that something is not an autopilot and does blind pearl does not hold if it does not repot carcinoid. sent10: if something does not warm it is a kind of amalgamative thing that is ammonitic. sent11: if the fact that the magnifico does not lean Arizonan is not incorrect it does not repot carcinoid and it is not a cardhouse. sent12: the fact that the aftershock is not a kind of a fetoprotein but it repots moodiness is wrong if the fact that it does not blind lobby is correct. sent13: if that something is not a kind of an autopilot but it does blind pearl is not true then it does not lean love. sent14: the fact that the aftershock is a kind of a fetoprotein that does repot moodiness does not hold. sent15: that the exile does lean love is not incorrect if that it proof reads hold. sent16: there is something such that it blinds pronghorn. sent17: that the exile does not lean love but it is a Balinese is not right.
void -> assump1: Let's assume that the aftershock blinds lobby.; sent5 & assump1 -> int1: the aftershock is a glide that is not a kind of a Balinese.; int1 -> int2: the aftershock is not a Balinese.; sent7 & sent1 -> int3: the aftershock is a kind of a Balinese.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the aftershock does not blind lobby is true.; int5 & sent12 -> hypothesis;
the aftershock is not a kind of a fetoprotein and repots moodiness.
sent3 -> int6: if the aftershock is amalgamative it is not a fetoprotein and it is cherty.; sent10 -> int7: the aftershock is not non-amalgamative and it is ammonitic if it does not warm.; sent16 & sent4 -> int8: the aftershock does not warm.; int7 & int8 -> int9: the aftershock is amalgamative and it is ammonitic.; int9 -> int10: the aftershock is amalgamative.; int6 & int10 -> int11: the aftershock is not a fetoprotein but cherty.; int11 -> int12: the aftershock is not a fetoprotein.; sent13 -> int13: if that the exile is not an autopilot but it blinds pearl is not correct then it does not lean love.; sent9 -> int14: that the exile is not an autopilot but it does blind pearl does not hold if it does not repot carcinoid.;
$hypothesis$ = the fact that the aftershock is not a kind of a fetoprotein and does repot moodiness is incorrect. ; $context$ = sent1: the fact that the exile does not lean love and is not a kind of a Balinese is incorrect. sent2: that the exile does lean love and is not a Balinese is not right. sent3: something is not a fetoprotein but cherty if it is amalgamative. sent4: the aftershock is not warming if there is something such that it does blind pronghorn. sent5: the aftershock is a glide and is not a Balinese if it does blind lobby. sent6: the exile does not repot carcinoid if the magnifico does not repot carcinoid and is not a cardhouse. sent7: the aftershock is a Balinese if the fact that the exile does not lean love and is not a kind of a Balinese is not right. sent8: the aftershock repots moodiness and it does blind lobby if the exile does not lean love. sent9: that something is not an autopilot and does blind pearl does not hold if it does not repot carcinoid. sent10: if something does not warm it is a kind of amalgamative thing that is ammonitic. sent11: if the fact that the magnifico does not lean Arizonan is not incorrect it does not repot carcinoid and it is not a cardhouse. sent12: the fact that the aftershock is not a kind of a fetoprotein but it repots moodiness is wrong if the fact that it does not blind lobby is correct. sent13: if that something is not a kind of an autopilot but it does blind pearl is not true then it does not lean love. sent14: the fact that the aftershock is a kind of a fetoprotein that does repot moodiness does not hold. sent15: that the exile does lean love is not incorrect if that it proof reads hold. sent16: there is something such that it blinds pronghorn. sent17: that the exile does not lean love but it is a Balinese is not right. ; $proof$ = 
void -> assump1: Let's assume that the aftershock blinds lobby.; sent5 & assump1 -> int1: the aftershock is a glide that is not a kind of a Balinese.; int1 -> int2: the aftershock is not a Balinese.; sent7 & sent1 -> int3: the aftershock is a kind of a Balinese.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the aftershock does not blind lobby is true.; int5 & sent12 -> hypothesis; __PROVED__