the outercourse is a kind of a terrarium.
sent1: if the Chad is a giraffe the outercourse is a terrarium. sent2: the telepathist is not nonspatial if the herpetologist is a Beatitude and does intrigue Carcharhinus. sent3: the herpetologist is a Beatitude. sent4: the herpetologist intrigues Carcharhinus. sent5: the Chad is a giraffe if something is not nonspatial and it does not lap Sango. sent6: the pousse-cafe is a kind of a terrarium. sent7: The Carcharhinus intrigues herpetologist. sent8: the Chad is not a kind of a Beatitude. sent9: if the telepathist is not nonspatial the pousse-cafe is a kind of nonspatial thing that does not lap Sango.
sent3 & sent4 -> int1: the herpetologist is a kind of a Beatitude that intrigues Carcharhinus.; sent2 & int1 -> int2: the telepathist is not nonspatial.; sent9 & int2 -> int3: the pousse-cafe is not nonspatial and does not lap Sango.; int3 -> int4: there exists something such that it is a kind of spatial thing that does not lap Sango.; int4 & sent5 -> int5: the Chad is a giraffe.; sent1 & int5 -> hypothesis;
$hypothesis$ = the outercourse is a kind of a terrarium. ; $context$ = sent1: if the Chad is a giraffe the outercourse is a terrarium. sent2: the telepathist is not nonspatial if the herpetologist is a Beatitude and does intrigue Carcharhinus. sent3: the herpetologist is a Beatitude. sent4: the herpetologist intrigues Carcharhinus. sent5: the Chad is a giraffe if something is not nonspatial and it does not lap Sango. sent6: the pousse-cafe is a kind of a terrarium. sent7: The Carcharhinus intrigues herpetologist. sent8: the Chad is not a kind of a Beatitude. sent9: if the telepathist is not nonspatial the pousse-cafe is a kind of nonspatial thing that does not lap Sango. ; $proof$ = 
sent3 & sent4 -> int1: the herpetologist is a kind of a Beatitude that intrigues Carcharhinus.; sent2 & int1 -> int2: the telepathist is not nonspatial.; sent9 & int2 -> int3: the pousse-cafe is not nonspatial and does not lap Sango.; int3 -> int4: there exists something such that it is a kind of spatial thing that does not lap Sango.; int4 & sent5 -> int5: the Chad is a giraffe.; sent1 & int5 -> hypothesis; __PROVED__