the tangram is a Rockwell.
sent1: something is a Rockwell if it develops. sent2: that the espadrille is both not a settlement and a Rockwell is wrong. sent3: there is something such that it is a collation. sent4: if the Excellency is genial then the fact that the slate is non-eager a Pyrocephalus is wrong. sent5: the salai is not a Pyrocephalus if the fact that the slate is not eager but it is a Pyrocephalus is false. sent6: the Excellency is a kind of genial thing that regards eardrum. sent7: if something is not a Pyrocephalus then that the nozzle does freeze-dry overskirt and does regard bolete does not hold. sent8: the fact that the espadrille is not a collation but it is a settlement does not hold if something develops. sent9: if the fact that the espadrille is both not a collation and a settlement is wrong the tangram is not a Rockwell. sent10: something develops and is a collation if it is not a kind of a settlement. sent11: there is something such that it develops. sent12: the tangram is not a Rockwell if the espadrille is not a settlement. sent13: if the espadrille is not a settlement then the fact that the tangram is not a settlement hold.
sent11 & sent8 -> int1: that the espadrille is both not a collation and a settlement is not correct.; sent9 & int1 -> hypothesis;
the tangram is a kind of a Rockwell.
sent1 -> int2: the tangram is a Rockwell if it develops.; sent10 -> int3: if the fact that the tangram is not a settlement is correct it does develop and is a kind of a collation.; sent6 -> int4: the Excellency is not non-genial.; sent4 & int4 -> int5: the fact that the slate is not eager but it is a Pyrocephalus does not hold.; sent5 & int5 -> int6: the salai is not a kind of a Pyrocephalus.; int6 -> int7: there exists something such that it is not a kind of a Pyrocephalus.; int7 & sent7 -> int8: the fact that the nozzle freeze-dries overskirt and it does regard bolete does not hold.; int8 -> int9: there exists something such that that it freeze-dries overskirt and it does regard bolete is not true.;
$hypothesis$ = the tangram is a Rockwell. ; $context$ = sent1: something is a Rockwell if it develops. sent2: that the espadrille is both not a settlement and a Rockwell is wrong. sent3: there is something such that it is a collation. sent4: if the Excellency is genial then the fact that the slate is non-eager a Pyrocephalus is wrong. sent5: the salai is not a Pyrocephalus if the fact that the slate is not eager but it is a Pyrocephalus is false. sent6: the Excellency is a kind of genial thing that regards eardrum. sent7: if something is not a Pyrocephalus then that the nozzle does freeze-dry overskirt and does regard bolete does not hold. sent8: the fact that the espadrille is not a collation but it is a settlement does not hold if something develops. sent9: if the fact that the espadrille is both not a collation and a settlement is wrong the tangram is not a Rockwell. sent10: something develops and is a collation if it is not a kind of a settlement. sent11: there is something such that it develops. sent12: the tangram is not a Rockwell if the espadrille is not a settlement. sent13: if the espadrille is not a settlement then the fact that the tangram is not a settlement hold. ; $proof$ = 
sent11 & sent8 -> int1: that the espadrille is both not a collation and a settlement is not correct.; sent9 & int1 -> hypothesis; __DISPROVED__