the fact that the hedger is a technical is true.
sent1: if the fact that the linden is a kind of a technical and it weaves prosody is false then the fact that it does not rear pyridine is not wrong. sent2: the farfalle is not lithographic. sent3: that something does not rear pyridine but it is a kind of a limbers does not hold if it butts hedger. sent4: the linden is a kind of a megalocyte if there exists something such that that it does rear FHLMC and is not lithographic is not correct. sent5: the linden does not rear pyridine but it does limber. sent6: the linden is not intractable. sent7: there exists something such that the fact that it is not unsystematic and is not intractable is not right. sent8: the hedger is not unsystematic if that it is operational and quadrupedal is not true. sent9: if the linden is not intractable the fact that it is technical and it weaves prosody is not true. sent10: if something that does rear FHLMC is not lithographic then it does not exist. sent11: that the hedger is not nonoperational and it is quadrupedal does not hold. sent12: something rears ethnography if it is a limbers. sent13: the linden does butt hedger if it is a megalocyte. sent14: the fact that the linden does rear pyridine and limbers is incorrect. sent15: if the linden does butt hedger that it rears pyridine and limbers does not hold. sent16: if something that does not exist is unsystematic the hedger is a technical. sent17: the hedger is not lithographic if there is something such that it does not butt hedger and/or it is not a kind of a megalocyte.
void -> assump1: Let's assume that that the farfalle does rear FHLMC but it is not lithographic does not hold.; assump1 -> int1: there exists something such that that it does rear FHLMC and it is not lithographic is not right.; int1 & sent4 -> int2: the linden is a kind of a megalocyte.; int2 & sent13 -> int3: the linden does butt hedger.; sent3 -> int4: the fact that the fact that the linden does not rear pyridine and limbers is true is not correct if it does butt hedger.; int3 & int4 -> int5: the fact that the linden does not rear pyridine and is a kind of a limbers is not right.; int5 & sent5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the farfalle does rear FHLMC but it is not lithographic.; sent10 -> int8: the farfalle does not exist if it does rear FHLMC and is not lithographic.; int7 & int8 -> int9: the farfalle does not exist.;
the hedger is not lithographic but it does rear ethnography.
sent9 & sent6 -> int10: that the linden is a technical and weaves prosody is not true.; sent1 & int10 -> int11: the linden does not rear pyridine.; sent12 -> int12: the hedger rears ethnography if it is a limbers.; sent8 & sent11 -> int13: the hedger is not unsystematic.;
$hypothesis$ = the fact that the hedger is a technical is true. ; $context$ = sent1: if the fact that the linden is a kind of a technical and it weaves prosody is false then the fact that it does not rear pyridine is not wrong. sent2: the farfalle is not lithographic. sent3: that something does not rear pyridine but it is a kind of a limbers does not hold if it butts hedger. sent4: the linden is a kind of a megalocyte if there exists something such that that it does rear FHLMC and is not lithographic is not correct. sent5: the linden does not rear pyridine but it does limber. sent6: the linden is not intractable. sent7: there exists something such that the fact that it is not unsystematic and is not intractable is not right. sent8: the hedger is not unsystematic if that it is operational and quadrupedal is not true. sent9: if the linden is not intractable the fact that it is technical and it weaves prosody is not true. sent10: if something that does rear FHLMC is not lithographic then it does not exist. sent11: that the hedger is not nonoperational and it is quadrupedal does not hold. sent12: something rears ethnography if it is a limbers. sent13: the linden does butt hedger if it is a megalocyte. sent14: the fact that the linden does rear pyridine and limbers is incorrect. sent15: if the linden does butt hedger that it rears pyridine and limbers does not hold. sent16: if something that does not exist is unsystematic the hedger is a technical. sent17: the hedger is not lithographic if there is something such that it does not butt hedger and/or it is not a kind of a megalocyte. ; $proof$ = 
void -> assump1: Let's assume that that the farfalle does rear FHLMC but it is not lithographic does not hold.; assump1 -> int1: there exists something such that that it does rear FHLMC and it is not lithographic is not right.; int1 & sent4 -> int2: the linden is a kind of a megalocyte.; int2 & sent13 -> int3: the linden does butt hedger.; sent3 -> int4: the fact that the fact that the linden does not rear pyridine and limbers is true is not correct if it does butt hedger.; int3 & int4 -> int5: the fact that the linden does not rear pyridine and is a kind of a limbers is not right.; int5 & sent5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the farfalle does rear FHLMC but it is not lithographic.; sent10 -> int8: the farfalle does not exist if it does rear FHLMC and is not lithographic.; int7 & int8 -> int9: the farfalle does not exist.; __UNKNOWN__