the Beguine leans tagger.
sent1: the fact that the wagon is not poetics and it is not an expressway is wrong if there is something such that it stomps. sent2: the sheika is not poetics. sent3: something is not a damp but Gothic. sent4: the Beguine is an expressway if there is something such that that it is not a kind of a Gothic hold. sent5: the Beguine is poetics. sent6: the taxer is a Gothic. sent7: the wagon repots wagon. sent8: the taxer is a stomp if the fact that the wagon does not repot vespid but it is a kind of a stomp hold. sent9: the wagon is not non-poetics if it does estivate. sent10: the taxer does not stomp if the Beguine leans tagger and it is an expressway. sent11: the wagon does not repot vespid. sent12: there exists something such that the fact that it does not lean tagger and is an expressway is incorrect. sent13: the wagon does estivate. sent14: that there is something such that the fact that it is not a kind of a damp and it is a Gothic is false is not wrong. sent15: the Beguine is not a nail. sent16: if the wagon is poetics then it does not repot vespid. sent17: the Beguine is an expressway if there exists something such that the fact that it is not a damp and is a Gothic does not hold. sent18: the fact that the taxer is a stomp if the wagon does repot vespid and it is a kind of a stomp is not incorrect. sent19: there exists something such that the fact that it does damp and is a Gothic is not true. sent20: something estivates. sent21: the Beguine repots foxhole. sent22: the findings is an expressway. sent23: if the wagon is poetics it does not repot vespid and stomps. sent24: if there exists something such that the fact that that it does not estivate is correct is not correct the foxhole is a stomp and does repot vespid.
sent14 & sent17 -> int1: the Beguine is a kind of an expressway.; void -> assump1: Let's assume that the Beguine leans tagger.; int1 & assump1 -> int2: the Beguine does lean tagger and is an expressway.; int2 & sent10 -> int3: the taxer does not stomp.; sent9 & sent13 -> int4: the wagon is poetics.; sent23 & int4 -> int5: the wagon does not repot vespid and is a stomp.; sent8 & int5 -> int6: the fact that the taxer is a stomp is true.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the Beguine does lean tagger.
sent20 & sent24 -> int8: the foxhole is a kind of a stomp that does repot vespid.; int8 -> int9: the foxhole is a stomp.; int9 -> int10: there is something such that it does stomp.; int10 & sent1 -> int11: the fact that the wagon is a kind of non-poetics thing that is not an expressway does not hold.; int11 -> int12: there is something such that the fact that it is not poetics and it is not an expressway is incorrect.;
$hypothesis$ = the Beguine leans tagger. ; $context$ = sent1: the fact that the wagon is not poetics and it is not an expressway is wrong if there is something such that it stomps. sent2: the sheika is not poetics. sent3: something is not a damp but Gothic. sent4: the Beguine is an expressway if there is something such that that it is not a kind of a Gothic hold. sent5: the Beguine is poetics. sent6: the taxer is a Gothic. sent7: the wagon repots wagon. sent8: the taxer is a stomp if the fact that the wagon does not repot vespid but it is a kind of a stomp hold. sent9: the wagon is not non-poetics if it does estivate. sent10: the taxer does not stomp if the Beguine leans tagger and it is an expressway. sent11: the wagon does not repot vespid. sent12: there exists something such that the fact that it does not lean tagger and is an expressway is incorrect. sent13: the wagon does estivate. sent14: that there is something such that the fact that it is not a kind of a damp and it is a Gothic is false is not wrong. sent15: the Beguine is not a nail. sent16: if the wagon is poetics then it does not repot vespid. sent17: the Beguine is an expressway if there exists something such that the fact that it is not a damp and is a Gothic does not hold. sent18: the fact that the taxer is a stomp if the wagon does repot vespid and it is a kind of a stomp is not incorrect. sent19: there exists something such that the fact that it does damp and is a Gothic is not true. sent20: something estivates. sent21: the Beguine repots foxhole. sent22: the findings is an expressway. sent23: if the wagon is poetics it does not repot vespid and stomps. sent24: if there exists something such that the fact that that it does not estivate is correct is not correct the foxhole is a stomp and does repot vespid. ; $proof$ = 
sent14 & sent17 -> int1: the Beguine is a kind of an expressway.; void -> assump1: Let's assume that the Beguine leans tagger.; int1 & assump1 -> int2: the Beguine does lean tagger and is an expressway.; int2 & sent10 -> int3: the taxer does not stomp.; sent9 & sent13 -> int4: the wagon is poetics.; sent23 & int4 -> int5: the wagon does not repot vespid and is a stomp.; sent8 & int5 -> int6: the fact that the taxer is a stomp is true.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__