the pilus is a kind of a heroic.
sent1: there is something such that it is a heroic that is a Emile. sent2: the wolf does filter and it does claw Longfellow. sent3: if something is not a heroic then it is not a Emile and it does not gnaw. sent4: the wolf does gnaw. sent5: there exists something such that it is a kind of a Emile. sent6: if the gyroscope is not a taguan then it does not clap gyroscope. sent7: the wolf does not claw Longfellow if the gyroscope is an earner but it is not a kind of a filter. sent8: the gyroscope does not gnaw if a filter is a Emile. sent9: the pilus is not a coliphage. sent10: the wolf does claw Longfellow. sent11: if the gyroscope is both not an earner and not a coliphage then the pilus is not a heroic. sent12: if the gyroscope does not gnaw then it is not a coliphage. sent13: the wolf is a coliphage if something filters. sent14: if there is something such that it is Laputan the wolf is a Emile and it claws Ingrian. sent15: something is not an earner and is not a coliphage if it does not gnaw. sent16: the wolf does claw Ingrian if something is Laputan. sent17: there is something such that it is Laputan. sent18: the gyroscope is not a kind of a coliphage. sent19: if the gyroscope is not an earner but a coliphage the pilus is not a heroic. sent20: the wolf claws Ingrian.
sent17 & sent14 -> int1: the wolf is a kind of a Emile and it claws Ingrian.; int1 -> int2: the wolf is a kind of a Emile.; sent2 -> int3: the wolf does filter.; int2 & int3 -> int4: the wolf is both a filter and a Emile.; int4 -> int5: something does filter and it is a kind of a Emile.; int5 & sent8 -> int6: the gyroscope does not gnaw.; sent15 -> int7: if the gyroscope does not gnaw then it is not an earner and it is not a coliphage.; int6 & int7 -> int8: the gyroscope is not a kind of an earner and is not a kind of a coliphage.; int8 & sent11 -> hypothesis;
$hypothesis$ = the pilus is a kind of a heroic. ; $context$ = sent1: there is something such that it is a heroic that is a Emile. sent2: the wolf does filter and it does claw Longfellow. sent3: if something is not a heroic then it is not a Emile and it does not gnaw. sent4: the wolf does gnaw. sent5: there exists something such that it is a kind of a Emile. sent6: if the gyroscope is not a taguan then it does not clap gyroscope. sent7: the wolf does not claw Longfellow if the gyroscope is an earner but it is not a kind of a filter. sent8: the gyroscope does not gnaw if a filter is a Emile. sent9: the pilus is not a coliphage. sent10: the wolf does claw Longfellow. sent11: if the gyroscope is both not an earner and not a coliphage then the pilus is not a heroic. sent12: if the gyroscope does not gnaw then it is not a coliphage. sent13: the wolf is a coliphage if something filters. sent14: if there is something such that it is Laputan the wolf is a Emile and it claws Ingrian. sent15: something is not an earner and is not a coliphage if it does not gnaw. sent16: the wolf does claw Ingrian if something is Laputan. sent17: there is something such that it is Laputan. sent18: the gyroscope is not a kind of a coliphage. sent19: if the gyroscope is not an earner but a coliphage the pilus is not a heroic. sent20: the wolf claws Ingrian. ; $proof$ = 
sent17 & sent14 -> int1: the wolf is a kind of a Emile and it claws Ingrian.; int1 -> int2: the wolf is a kind of a Emile.; sent2 -> int3: the wolf does filter.; int2 & int3 -> int4: the wolf is both a filter and a Emile.; int4 -> int5: something does filter and it is a kind of a Emile.; int5 & sent8 -> int6: the gyroscope does not gnaw.; sent15 -> int7: if the gyroscope does not gnaw then it is not an earner and it is not a coliphage.; int6 & int7 -> int8: the gyroscope is not a kind of an earner and is not a kind of a coliphage.; int8 & sent11 -> hypothesis; __DISPROVED__