the Lotus does not exceed infarct.
sent1: there are sapphirine things. sent2: something exceeds infarct if it is a Saintpaulia. sent3: the gantry is a Saintpaulia if there is something such that the fact that it is a amnesic or it is not a taxpayer or both is not true. sent4: something is life-support thing that does drape investigation if it is not a Prosopium. sent5: that the chip jellifies entente hold if the gantry is a Saintpaulia. sent6: if there is something such that it does jellify entente the model is not a saucepot and/or it is a sapphirine. sent7: if something is apothecial it is not a Prosopium and it is an enchanter. sent8: the sweatshirt is apothecial if there is something such that the fact that that it is not rhombic and it is not apothecial is not false is not right. sent9: the Lotus is a kind of a Saintpaulia if it jellifies entente. sent10: the Lotus is a Saintpaulia if it is not a kind of a saucepot and/or does jellify entente. sent11: either the Lotus is not a saucepot or it is a kind of a Cakchiquel or both. sent12: the fact that something is a kind of a amnesic or it is not a taxpayer or both is incorrect if it does not drape investigation. sent13: if the sweatshirt is life-support and drapes investigation then the fact that the hammock does not drapes investigation is not wrong. sent14: there exists something such that that it is not rhombic and it is not apothecial does not hold. sent15: the Lotus is not a saucepot and/or jellifies entente if there is something such that that it is sapphirine is right.
sent1 & sent15 -> int1: the Lotus is not a saucepot and/or it does jellify entente.; int1 & sent10 -> int2: that the Lotus is a kind of a Saintpaulia is correct.; sent2 -> int3: if the fact that the Lotus is a Saintpaulia is not false then it exceeds infarct.; int2 & int3 -> hypothesis;
the Lotus does not exceed infarct.
sent12 -> int4: if the hammock does not drape investigation that it is a amnesic and/or is not a taxpayer is wrong.; sent4 -> int5: if the sweatshirt is not a Prosopium then it is life-support and it does drape investigation.; sent7 -> int6: if the sweatshirt is apothecial then it is not a Prosopium and it is an enchanter.; sent14 & sent8 -> int7: the sweatshirt is apothecial.; int6 & int7 -> int8: the sweatshirt is both not a Prosopium and an enchanter.; int8 -> int9: the sweatshirt is not a Prosopium.; int5 & int9 -> int10: the sweatshirt is life-support thing that does drape investigation.; sent13 & int10 -> int11: the hammock does not drape investigation.; int4 & int11 -> int12: the fact that the hammock is amnesic and/or not a taxpayer is wrong.; int12 -> int13: there exists something such that the fact that it is amnesic and/or it is not a kind of a taxpayer is not correct.; int13 & sent3 -> int14: the gantry is a kind of a Saintpaulia.; sent5 & int14 -> int15: the chip jellifies entente.; int15 -> int16: something jellifies entente.; int16 & sent6 -> int17: the model is not a kind of a saucepot and/or it is a kind of a sapphirine.; int17 -> int18: there exists something such that either it is not a saucepot or it is a sapphirine or both.;
$hypothesis$ = the Lotus does not exceed infarct. ; $context$ = sent1: there are sapphirine things. sent2: something exceeds infarct if it is a Saintpaulia. sent3: the gantry is a Saintpaulia if there is something such that the fact that it is a amnesic or it is not a taxpayer or both is not true. sent4: something is life-support thing that does drape investigation if it is not a Prosopium. sent5: that the chip jellifies entente hold if the gantry is a Saintpaulia. sent6: if there is something such that it does jellify entente the model is not a saucepot and/or it is a sapphirine. sent7: if something is apothecial it is not a Prosopium and it is an enchanter. sent8: the sweatshirt is apothecial if there is something such that the fact that that it is not rhombic and it is not apothecial is not false is not right. sent9: the Lotus is a kind of a Saintpaulia if it jellifies entente. sent10: the Lotus is a Saintpaulia if it is not a kind of a saucepot and/or does jellify entente. sent11: either the Lotus is not a saucepot or it is a kind of a Cakchiquel or both. sent12: the fact that something is a kind of a amnesic or it is not a taxpayer or both is incorrect if it does not drape investigation. sent13: if the sweatshirt is life-support and drapes investigation then the fact that the hammock does not drapes investigation is not wrong. sent14: there exists something such that that it is not rhombic and it is not apothecial does not hold. sent15: the Lotus is not a saucepot and/or jellifies entente if there is something such that that it is sapphirine is right. ; $proof$ = 
sent1 & sent15 -> int1: the Lotus is not a saucepot and/or it does jellify entente.; int1 & sent10 -> int2: that the Lotus is a kind of a Saintpaulia is correct.; sent2 -> int3: if the fact that the Lotus is a Saintpaulia is not false then it exceeds infarct.; int2 & int3 -> hypothesis; __DISPROVED__