the fact that there is something such that the fact that it is a kind of a shellflower and/or it is conditional hold is not true.
sent1: the fatherland is a shellflower and it is conditional if it is not a deliverable. sent2: the IOP is a kind of a coelenteron and it is a shellflower. sent3: the fact that the IOP is not a ladder but it is a kind of a deliverable is false if there exists something such that it is authorial. sent4: there exists something such that it is authorial. sent5: something is a anticholinergic and it is a hairdo if it is not a coelenteron.
sent2 -> int1: the IOP is a shellflower.; int1 -> int2: either the IOP is a shellflower or it is conditional or both.; int2 -> hypothesis;
the fatherland is anticholinergic and it is a hairdo.
sent5 -> int3: if that the fatherland is not a coelenteron is right it is a kind of anticholinergic thing that is a hairdo.; sent4 & sent3 -> int4: the fact that the IOP does not ladder but it is a deliverable is wrong.; int4 -> int5: there exists something such that the fact that it is not a kind of a ladder and is a kind of a deliverable is incorrect.;
$hypothesis$ = the fact that there is something such that the fact that it is a kind of a shellflower and/or it is conditional hold is not true. ; $context$ = sent1: the fatherland is a shellflower and it is conditional if it is not a deliverable. sent2: the IOP is a kind of a coelenteron and it is a shellflower. sent3: the fact that the IOP is not a ladder but it is a kind of a deliverable is false if there exists something such that it is authorial. sent4: there exists something such that it is authorial. sent5: something is a anticholinergic and it is a hairdo if it is not a coelenteron. ; $proof$ = 
sent2 -> int1: the IOP is a shellflower.; int1 -> int2: either the IOP is a shellflower or it is conditional or both.; int2 -> hypothesis; __DISPROVED__