the fact that there is something such that that it riddles koan and it is a phi hold is incorrect.
sent1: something is a phi. sent2: the fact that the football is a depilation but it is not a phi is incorrect if the codger is not a zill. sent3: that the fact that the codger is not diocesan and does not incriminate Elaphurus is not false does not hold. sent4: the codger is asterismal. sent5: there exists something such that it is an organic that is a depilation. sent6: something is not a Babylonian if the fact that it does not riddle triumph and is not a kind of a imperfectibility is not true. sent7: if something is not a kind of a Communion it does not riddle koan and it is not organic. sent8: the Kodiak is a kind of a depilation. sent9: if something does not riddle koan and it is not organic the football is Aboriginal. sent10: if that the codger is not diocesan and it does not incriminate Elaphurus is not correct it does not subject. sent11: if the fact that something is a depilation but it is not a phi does not hold it is a phi. sent12: that the thriftshop riddles koan and it is an organic hold. sent13: the thriftshop is a depilation. sent14: the thriftshop is a phi and it is a depilation. sent15: the fact that something is not a zill if it is not a subject but asterismal is right. sent16: something riddles koan. sent17: if the mat is not Babylonian then the thriftshop is not a Communion but it is a DBA. sent18: the thriftshop is an organic.
sent12 -> int1: that the thriftshop riddles koan hold.; sent14 -> int2: the thriftshop is a phi.; int1 & int2 -> int3: that the thriftshop riddles koan and is a phi is not false.; int3 -> hypothesis;
the football is a kind of Aboriginal a phi.
sent7 -> int4: if the thriftshop is not a Communion then it does not riddle koan and is not an organic.; sent6 -> int5: the mat is not a Babylonian if that it does not riddle triumph and it is not a kind of a imperfectibility is not right.; sent11 -> int6: if the fact that the football is a kind of a depilation but it is not a phi is not right then it is a phi.; sent15 -> int7: the codger is not a zill if it is not a subject and it is asterismal.; sent10 & sent3 -> int8: the codger does not subject.; int8 & sent4 -> int9: the codger is not a subject but it is not non-asterismal.; int7 & int9 -> int10: the codger is not a zill.; sent2 & int10 -> int11: the fact that the football is a kind of a depilation and is not a phi is wrong.; int6 & int11 -> int12: the fact that the football is a kind of a phi is true.;
$hypothesis$ = the fact that there is something such that that it riddles koan and it is a phi hold is incorrect. ; $context$ = sent1: something is a phi. sent2: the fact that the football is a depilation but it is not a phi is incorrect if the codger is not a zill. sent3: that the fact that the codger is not diocesan and does not incriminate Elaphurus is not false does not hold. sent4: the codger is asterismal. sent5: there exists something such that it is an organic that is a depilation. sent6: something is not a Babylonian if the fact that it does not riddle triumph and is not a kind of a imperfectibility is not true. sent7: if something is not a kind of a Communion it does not riddle koan and it is not organic. sent8: the Kodiak is a kind of a depilation. sent9: if something does not riddle koan and it is not organic the football is Aboriginal. sent10: if that the codger is not diocesan and it does not incriminate Elaphurus is not correct it does not subject. sent11: if the fact that something is a depilation but it is not a phi does not hold it is a phi. sent12: that the thriftshop riddles koan and it is an organic hold. sent13: the thriftshop is a depilation. sent14: the thriftshop is a phi and it is a depilation. sent15: the fact that something is not a zill if it is not a subject but asterismal is right. sent16: something riddles koan. sent17: if the mat is not Babylonian then the thriftshop is not a Communion but it is a DBA. sent18: the thriftshop is an organic. ; $proof$ = 
sent12 -> int1: that the thriftshop riddles koan hold.; sent14 -> int2: the thriftshop is a phi.; int1 & int2 -> int3: that the thriftshop riddles koan and is a phi is not false.; int3 -> hypothesis; __DISPROVED__