the fact that if the percale is not a preliminary then the Paddy is cometary and it is a expansivity does not hold.
sent1: there is something such that the fact that it is sartorial and it is not a Aegypius is false. sent2: the Paddy is a preliminary and is cometary if the percale is a expansivity. sent3: if a collagenous thing is not a expansivity then the Paddy is a preliminary. sent4: the percale is sartorial. sent5: the percale is both cometary and a preliminary if the Paddy is not collagenous. sent6: the Paddy is a kind of heuristic thing that does not reciprocate. sent7: there exists something such that the fact that it is a kind of a expansivity and it is not cometary is not right. sent8: something is both collagenous and cometary. sent9: if a collagenous thing is not a kind of a preliminary then the Paddy is cometary. sent10: the percale is not axonal. sent11: the fact that the Paddy is a kind of a expansivity is not false. sent12: if there exists something such that the fact that it is sartorial and it is not a Aegypius is not right then the percale is collagenous. sent13: the pyrrhuloxia is not a kind of a preliminary. sent14: there exists something such that it is collagenous and is not cometary. sent15: the Paddy is kinetic.
sent1 & sent12 -> int1: the percale is collagenous.; void -> assump1: Let's assume that the percale is not a kind of a preliminary.; int1 & assump1 -> int2: the percale is collagenous but it is not a preliminary.; int2 -> int3: there exists something such that it is both collagenous and not a preliminary.; int3 & sent9 -> int4: the Paddy is cometary.; int4 & sent11 -> int5: the Paddy is cometary and is a expansivity.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that if the percale is not a preliminary then the Paddy is cometary and it is a expansivity does not hold. ; $context$ = sent1: there is something such that the fact that it is sartorial and it is not a Aegypius is false. sent2: the Paddy is a preliminary and is cometary if the percale is a expansivity. sent3: if a collagenous thing is not a expansivity then the Paddy is a preliminary. sent4: the percale is sartorial. sent5: the percale is both cometary and a preliminary if the Paddy is not collagenous. sent6: the Paddy is a kind of heuristic thing that does not reciprocate. sent7: there exists something such that the fact that it is a kind of a expansivity and it is not cometary is not right. sent8: something is both collagenous and cometary. sent9: if a collagenous thing is not a kind of a preliminary then the Paddy is cometary. sent10: the percale is not axonal. sent11: the fact that the Paddy is a kind of a expansivity is not false. sent12: if there exists something such that the fact that it is sartorial and it is not a Aegypius is not right then the percale is collagenous. sent13: the pyrrhuloxia is not a kind of a preliminary. sent14: there exists something such that it is collagenous and is not cometary. sent15: the Paddy is kinetic. ; $proof$ = 
sent1 & sent12 -> int1: the percale is collagenous.; void -> assump1: Let's assume that the percale is not a kind of a preliminary.; int1 & assump1 -> int2: the percale is collagenous but it is not a preliminary.; int2 -> int3: there exists something such that it is both collagenous and not a preliminary.; int3 & sent9 -> int4: the Paddy is cometary.; int4 & sent11 -> int5: the Paddy is cometary and is a expansivity.; [assump1] & int5 -> hypothesis; __DISPROVED__