the hansom is not a kind of a frustum.
sent1: if the groundwork is a kind of brotherly thing that does crow Poivrade it does not roll Gerea. sent2: if the groundwork is not a traitress then it is operational and is Frostian. sent3: if something does not roll Gerea the fact that it is a frustum and is inexhaustible is not true. sent4: the regosol is inexhaustible. sent5: the hansom does crow Poivrade if the groundwork does not roll Gerea but it is a frustum. sent6: the groundwork does not crow Poivrade. sent7: the hansom is a kind of a frustum if the groundwork does not roll Gerea and is inexhaustible. sent8: something is non-Luxemburger if it is operational. sent9: the tungsten is both not non-paramilitary and non-brotherly. sent10: something is not a kind of a frustum if the fact that it is a frustum and is inexhaustible is false. sent11: if the groundwork is brotherly and does not crow Poivrade it does not roll Gerea. sent12: if the regosol is not brotherly and crows Poivrade the groundwork does roll Gerea. sent13: if the regosol is inexhaustible then the groundwork is inexhaustible. sent14: the groundwork is brotherly and does not crow Poivrade. sent15: the hansom is inexhaustible if the groundwork does not roll Gerea and is a frustum. sent16: if there exists something such that it is not prudent that the regosol does not mummify Dickinson or is not a kind of a Duse or both does not hold. sent17: the hansom is a reincarnationism. sent18: there exists something such that that it is not prudent hold. sent19: the groundwork is not a traitress if the fact that the regosol does not mummify Dickinson or it is not a Duse or both does not hold. sent20: the regosol does not crow Poivrade. sent21: if something is not a Luxemburger that it rolls Gerea and it does damp apar is not true. sent22: the groundwork does not crow hunter and is thenal.
sent11 & sent14 -> int1: the groundwork does not roll Gerea.; sent13 & sent4 -> int2: that the groundwork is inexhaustible is true.; int1 & int2 -> int3: the groundwork does not roll Gerea but it is inexhaustible.; int3 & sent7 -> hypothesis;
the hansom is not a frustum.
sent10 -> int4: if the fact that the hansom is a frustum and inexhaustible is not right then it is not a frustum.; sent3 -> int5: if the fact that the hansom does not roll Gerea hold the fact that it is a kind of a frustum and it is inexhaustible is not right.; sent21 -> int6: the fact that the groundwork does roll Gerea and does damp apar is not true if it is not a Luxemburger.; sent8 -> int7: if the groundwork is operational then the fact that it is not a Luxemburger is true.; sent18 & sent16 -> int8: the fact that the regosol does not mummify Dickinson or it is not a kind of a Duse or both is not correct.; sent19 & int8 -> int9: the fact that the groundwork is not a traitress is not incorrect.; sent2 & int9 -> int10: the groundwork is both operational and Frostian.; int10 -> int11: the groundwork is operational.; int7 & int11 -> int12: the groundwork is not a Luxemburger.; int6 & int12 -> int13: the fact that the groundwork does roll Gerea and it does damp apar is false.; int13 -> int14: there exists something such that that it does roll Gerea and it damps apar does not hold.;
$hypothesis$ = the hansom is not a kind of a frustum. ; $context$ = sent1: if the groundwork is a kind of brotherly thing that does crow Poivrade it does not roll Gerea. sent2: if the groundwork is not a traitress then it is operational and is Frostian. sent3: if something does not roll Gerea the fact that it is a frustum and is inexhaustible is not true. sent4: the regosol is inexhaustible. sent5: the hansom does crow Poivrade if the groundwork does not roll Gerea but it is a frustum. sent6: the groundwork does not crow Poivrade. sent7: the hansom is a kind of a frustum if the groundwork does not roll Gerea and is inexhaustible. sent8: something is non-Luxemburger if it is operational. sent9: the tungsten is both not non-paramilitary and non-brotherly. sent10: something is not a kind of a frustum if the fact that it is a frustum and is inexhaustible is false. sent11: if the groundwork is brotherly and does not crow Poivrade it does not roll Gerea. sent12: if the regosol is not brotherly and crows Poivrade the groundwork does roll Gerea. sent13: if the regosol is inexhaustible then the groundwork is inexhaustible. sent14: the groundwork is brotherly and does not crow Poivrade. sent15: the hansom is inexhaustible if the groundwork does not roll Gerea and is a frustum. sent16: if there exists something such that it is not prudent that the regosol does not mummify Dickinson or is not a kind of a Duse or both does not hold. sent17: the hansom is a reincarnationism. sent18: there exists something such that that it is not prudent hold. sent19: the groundwork is not a traitress if the fact that the regosol does not mummify Dickinson or it is not a Duse or both does not hold. sent20: the regosol does not crow Poivrade. sent21: if something is not a Luxemburger that it rolls Gerea and it does damp apar is not true. sent22: the groundwork does not crow hunter and is thenal. ; $proof$ = 
sent11 & sent14 -> int1: the groundwork does not roll Gerea.; sent13 & sent4 -> int2: that the groundwork is inexhaustible is true.; int1 & int2 -> int3: the groundwork does not roll Gerea but it is inexhaustible.; int3 & sent7 -> hypothesis; __DISPROVED__