the militiaman is not ambitious.
sent1: the orangutan is sacramental. sent2: if there is something such that it does not defoliate contact or it defoliates plowed or both the fact that the sundress does not defoliate contact hold. sent3: the militiaman is actinometric and it does lamb Manidae if something is sacramental. sent4: something does not lamb Manidae if the fact that it is a banneret and/or it does glom allograph is incorrect. sent5: the fact that the centrifugation is spartan thing that is a Dover is false if there is something such that it is not a Dover. sent6: there is something such that it is a lakeside. sent7: the accompaniment is a Dover and it is a kind of an encyclopedist. sent8: there exists something such that it is non-sacramental. sent9: the militiaman is not ambitious if the fact that the orangutan does not lamb Manidae and it is not ambitious is not correct. sent10: there is something such that it does not defoliate contact and/or defoliates plowed. sent11: that the militiaman does not lamb Manidae if that the militiaman is a banneret and/or it does glom allograph is wrong is not wrong. sent12: that if that the roadkill defoliates contact and is a kind of a Dover is not correct the maisonette is not a Dover is right. sent13: something complects moneybag if it is baptismal. sent14: if something does glom arched then it is ambitious. sent15: that something is not a banneret and/or it gloms allograph is not right if it does not glom arched. sent16: something does not lamb Manidae if the fact that it is not a kind of a banneret or it gloms allograph or both is wrong. sent17: if something gloms arched that it does not lamb Manidae and is not ambitious does not hold. sent18: the fact that the roadkill does defoliate contact and is a Dover is not correct if there is something such that it does not defoliate contact. sent19: the militiaman is actinometric. sent20: the paragonite does glom Ghanian if there exists something such that it is an edging. sent21: if the orangutan is not sacramental then it gloms arched. sent22: if that the centrifugation is spartan a Dover is wrong the airgun is not sacramental.
sent15 -> int1: if the militiaman does not glom arched the fact that it is not a banneret and/or it does glom allograph is not correct.; void -> assump1: Let's assume that the militiaman does not glom arched.; int1 & assump1 -> int2: the fact that that the militiaman is not a banneret and/or gloms allograph is not false is not right.; sent16 -> int3: if the fact that either the militiaman is not a banneret or it does glom allograph or both is incorrect then it does not lamb Manidae.; int2 & int3 -> int4: the fact that the militiaman does not lamb Manidae is not wrong.; sent1 -> int5: something is not non-sacramental.; int5 & sent3 -> int6: the militiaman is actinometric and lambs Manidae.; int6 -> int7: the militiaman lambs Manidae.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the militiaman does glom arched.; sent14 -> int10: if the militiaman gloms arched it is ambitious.; int9 & int10 -> hypothesis;
the militiaman is not ambitious.
sent17 -> int11: if the orangutan does glom arched the fact that it does not lamb Manidae and it is unambitious is false.; sent10 & sent2 -> int12: the sundress does not defoliate contact.; int12 -> int13: there exists something such that it does not defoliate contact.; int13 & sent18 -> int14: the fact that the roadkill does defoliate contact and is a Dover is not correct.; sent12 & int14 -> int15: the maisonette is not a Dover.; int15 -> int16: something is not a Dover.; int16 & sent5 -> int17: the fact that the centrifugation is spartan and it is a Dover is not true.; sent22 & int17 -> int18: the airgun is not sacramental.; int18 -> int19: something is not sacramental.;
$hypothesis$ = the militiaman is not ambitious. ; $context$ = sent1: the orangutan is sacramental. sent2: if there is something such that it does not defoliate contact or it defoliates plowed or both the fact that the sundress does not defoliate contact hold. sent3: the militiaman is actinometric and it does lamb Manidae if something is sacramental. sent4: something does not lamb Manidae if the fact that it is a banneret and/or it does glom allograph is incorrect. sent5: the fact that the centrifugation is spartan thing that is a Dover is false if there is something such that it is not a Dover. sent6: there is something such that it is a lakeside. sent7: the accompaniment is a Dover and it is a kind of an encyclopedist. sent8: there exists something such that it is non-sacramental. sent9: the militiaman is not ambitious if the fact that the orangutan does not lamb Manidae and it is not ambitious is not correct. sent10: there is something such that it does not defoliate contact and/or defoliates plowed. sent11: that the militiaman does not lamb Manidae if that the militiaman is a banneret and/or it does glom allograph is wrong is not wrong. sent12: that if that the roadkill defoliates contact and is a kind of a Dover is not correct the maisonette is not a Dover is right. sent13: something complects moneybag if it is baptismal. sent14: if something does glom arched then it is ambitious. sent15: that something is not a banneret and/or it gloms allograph is not right if it does not glom arched. sent16: something does not lamb Manidae if the fact that it is not a kind of a banneret or it gloms allograph or both is wrong. sent17: if something gloms arched that it does not lamb Manidae and is not ambitious does not hold. sent18: the fact that the roadkill does defoliate contact and is a Dover is not correct if there is something such that it does not defoliate contact. sent19: the militiaman is actinometric. sent20: the paragonite does glom Ghanian if there exists something such that it is an edging. sent21: if the orangutan is not sacramental then it gloms arched. sent22: if that the centrifugation is spartan a Dover is wrong the airgun is not sacramental. ; $proof$ = 
sent15 -> int1: if the militiaman does not glom arched the fact that it is not a banneret and/or it does glom allograph is not correct.; void -> assump1: Let's assume that the militiaman does not glom arched.; int1 & assump1 -> int2: the fact that that the militiaman is not a banneret and/or gloms allograph is not false is not right.; sent16 -> int3: if the fact that either the militiaman is not a banneret or it does glom allograph or both is incorrect then it does not lamb Manidae.; int2 & int3 -> int4: the fact that the militiaman does not lamb Manidae is not wrong.; sent1 -> int5: something is not non-sacramental.; int5 & sent3 -> int6: the militiaman is actinometric and lambs Manidae.; int6 -> int7: the militiaman lambs Manidae.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the militiaman does glom arched.; sent14 -> int10: if the militiaman gloms arched it is ambitious.; int9 & int10 -> hypothesis; __DISPROVED__