the fact that the expurgator is a bed that does not metabolize imperialist is not correct.
sent1: the pogonion is a peristyle. sent2: there is something such that it ends and it is inexcusable. sent3: the expurgator is inexcusable if something is bignoniaceous. sent4: that the masculinization is inexcusable hold. sent5: the pogonion is a dossal or a peristyle or both. sent6: the masculinization is not angiomatous if that the pogonion either is a kind of a dialectics or is a kind of a Laban or both does not hold. sent7: something is a otterhound and it is an equation. sent8: if there is something such that it is a otterhound and an equation the neonate is bignoniaceous. sent9: the fact that the expurgator is a Laban or is bignoniaceous or both does not hold if it is not inexcusable. sent10: that either something is dialectics or it is a Laban or both is wrong if it is not an ending. sent11: if the pogonion is not a peristyle then it is not an ending. sent12: something that does not end is not a dialectics. sent13: the expurgator does not metabolize imperialist if the fact that either the pogonion is a dossal or it is not a peristyle or both is wrong. sent14: something does not end if it is a dossal and/or it is not a peristyle. sent15: there is something such that it is an equation. sent16: something does not end if it is not a peristyle. sent17: the neonate is inexcusable if there exists something such that it is a kind of a Laban and it is bignoniaceous. sent18: the fact that the expurgator does not metabolize imperialist is not wrong if the fact that the fact that the pogonion is a dossal and/or it is a peristyle is not right is true. sent19: the masculinization is angiomatous. sent20: that the pogonion is not a dialectics is right if it does not end. sent21: the expurgator does bed if it is inexcusable. sent22: the pogonion is non-dialectics.
sent14 -> int1: the pogonion is not an ending if either it is a dossal or it is not a kind of a peristyle or both.; void -> assump1: Let's assume that the pogonion is a dossal and/or it is not a peristyle.; int1 & assump1 -> int2: the pogonion is not a kind of an ending.; sent10 -> int3: the fact that either the pogonion is a dialectics or it is a Laban or both is incorrect if it is not an ending.; int2 & int3 -> int4: that the pogonion is not non-dialectics or it is a Laban or both is not right.; int4 & sent6 -> int5: the masculinization is not angiomatous.; int5 & sent19 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the pogonion is a dossal and/or is not a peristyle is not right.; int7 & sent13 -> int8: the expurgator does not metabolize imperialist.; sent7 & sent8 -> int9: the neonate is bignoniaceous.; int9 -> int10: there exists something such that it is bignoniaceous.; int10 & sent3 -> int11: the expurgator is inexcusable.; sent21 & int11 -> int12: the expurgator beds.; int8 & int12 -> hypothesis;
$hypothesis$ = the fact that the expurgator is a bed that does not metabolize imperialist is not correct. ; $context$ = sent1: the pogonion is a peristyle. sent2: there is something such that it ends and it is inexcusable. sent3: the expurgator is inexcusable if something is bignoniaceous. sent4: that the masculinization is inexcusable hold. sent5: the pogonion is a dossal or a peristyle or both. sent6: the masculinization is not angiomatous if that the pogonion either is a kind of a dialectics or is a kind of a Laban or both does not hold. sent7: something is a otterhound and it is an equation. sent8: if there is something such that it is a otterhound and an equation the neonate is bignoniaceous. sent9: the fact that the expurgator is a Laban or is bignoniaceous or both does not hold if it is not inexcusable. sent10: that either something is dialectics or it is a Laban or both is wrong if it is not an ending. sent11: if the pogonion is not a peristyle then it is not an ending. sent12: something that does not end is not a dialectics. sent13: the expurgator does not metabolize imperialist if the fact that either the pogonion is a dossal or it is not a peristyle or both is wrong. sent14: something does not end if it is a dossal and/or it is not a peristyle. sent15: there is something such that it is an equation. sent16: something does not end if it is not a peristyle. sent17: the neonate is inexcusable if there exists something such that it is a kind of a Laban and it is bignoniaceous. sent18: the fact that the expurgator does not metabolize imperialist is not wrong if the fact that the fact that the pogonion is a dossal and/or it is a peristyle is not right is true. sent19: the masculinization is angiomatous. sent20: that the pogonion is not a dialectics is right if it does not end. sent21: the expurgator does bed if it is inexcusable. sent22: the pogonion is non-dialectics. ; $proof$ = 
sent14 -> int1: the pogonion is not an ending if either it is a dossal or it is not a kind of a peristyle or both.; void -> assump1: Let's assume that the pogonion is a dossal and/or it is not a peristyle.; int1 & assump1 -> int2: the pogonion is not a kind of an ending.; sent10 -> int3: the fact that either the pogonion is a dialectics or it is a Laban or both is incorrect if it is not an ending.; int2 & int3 -> int4: that the pogonion is not non-dialectics or it is a Laban or both is not right.; int4 & sent6 -> int5: the masculinization is not angiomatous.; int5 & sent19 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the pogonion is a dossal and/or is not a peristyle is not right.; int7 & sent13 -> int8: the expurgator does not metabolize imperialist.; sent7 & sent8 -> int9: the neonate is bignoniaceous.; int9 -> int10: there exists something such that it is bignoniaceous.; int10 & sent3 -> int11: the expurgator is inexcusable.; sent21 & int11 -> int12: the expurgator beds.; int8 & int12 -> hypothesis; __DISPROVED__