the glyceryl is a ziggurat.
sent1: something that grinds is expiratory. sent2: the Malathion is a geordie if the fact that it impacts oxheart is correct. sent3: the Lamaist is sexagesimal. sent4: the glyceryl is impolite. sent5: the glyceryl is not a ziggurat if the painting does not shiver nostoc and is a ziggurat. sent6: The nostoc does shiver glyceryl. sent7: something is a Nasser if it is a starter. sent8: that the Philippians is both not non-anopheline and not a grind does not hold if something is non-anopheline. sent9: the fact that the bittersweet is sculptural and is liliaceous is not correct if it does not activate silique. sent10: the Philippians is a grind if the fact that it is a anopheline and it does not grind is incorrect. sent11: that the glyceryl disposes hold. sent12: the silique is not a anopheline if the fact that it is not liliaceous is true. sent13: the glyceryl does shiver nostoc. sent14: the chevre is a kind of a loudspeaker if it is a kind of a prescription. sent15: if something is a kind of a kitbag it is cataplastic. sent16: if there exists something such that that it is both sculptural and liliaceous is not true then the silique is not liliaceous. sent17: that the bittersweet does not activate silique hold. sent18: something is a ziggurat if it is sexagesimal. sent19: if something is expiratory then it is sexagesimal. sent20: the glyceryl is sexagesimal if it does shiver nostoc. sent21: the glyceryl is a kind of a composite.
sent20 & sent13 -> int1: the glyceryl is sexagesimal.; sent18 -> int2: the glyceryl is a ziggurat if it is sexagesimal.; int1 & int2 -> hypothesis;
the glyceryl is not a ziggurat.
sent19 -> int3: if the Philippians is expiratory it is sexagesimal.; sent1 -> int4: if the Philippians is a grind then it is expiratory.; sent9 & sent17 -> int5: that the bittersweet is sculptural and it is liliaceous is false.; int5 -> int6: there is something such that that it is sculptural and it is liliaceous is incorrect.; int6 & sent16 -> int7: the silique is not liliaceous.; sent12 & int7 -> int8: the silique is not anopheline.; int8 -> int9: there are non-anopheline things.; int9 & sent8 -> int10: the fact that the Philippians is anopheline but it is not a kind of a grind is wrong.; sent10 & int10 -> int11: the Philippians does grind.; int4 & int11 -> int12: the Philippians is expiratory.; int3 & int12 -> int13: the Philippians is sexagesimal.; int13 -> int14: something is sexagesimal.;
$hypothesis$ = the glyceryl is a ziggurat. ; $context$ = sent1: something that grinds is expiratory. sent2: the Malathion is a geordie if the fact that it impacts oxheart is correct. sent3: the Lamaist is sexagesimal. sent4: the glyceryl is impolite. sent5: the glyceryl is not a ziggurat if the painting does not shiver nostoc and is a ziggurat. sent6: The nostoc does shiver glyceryl. sent7: something is a Nasser if it is a starter. sent8: that the Philippians is both not non-anopheline and not a grind does not hold if something is non-anopheline. sent9: the fact that the bittersweet is sculptural and is liliaceous is not correct if it does not activate silique. sent10: the Philippians is a grind if the fact that it is a anopheline and it does not grind is incorrect. sent11: that the glyceryl disposes hold. sent12: the silique is not a anopheline if the fact that it is not liliaceous is true. sent13: the glyceryl does shiver nostoc. sent14: the chevre is a kind of a loudspeaker if it is a kind of a prescription. sent15: if something is a kind of a kitbag it is cataplastic. sent16: if there exists something such that that it is both sculptural and liliaceous is not true then the silique is not liliaceous. sent17: that the bittersweet does not activate silique hold. sent18: something is a ziggurat if it is sexagesimal. sent19: if something is expiratory then it is sexagesimal. sent20: the glyceryl is sexagesimal if it does shiver nostoc. sent21: the glyceryl is a kind of a composite. ; $proof$ = 
sent20 & sent13 -> int1: the glyceryl is sexagesimal.; sent18 -> int2: the glyceryl is a ziggurat if it is sexagesimal.; int1 & int2 -> hypothesis; __PROVED__