the lair is obligatory thing that is a kind of a marginalization.
sent1: if there exists something such that it does not swap groundlessness then the lair does not single radiation and it is not arbitrative. sent2: something does not single radiation and is not a Weisshorn if it swaps groundlessness. sent3: the lapdog is arbitrative if the pitchfork is obligatory. sent4: if the fact that something does not swap groundlessness but it is a marginalization does not hold then it does swap groundlessness. sent5: if something is not alive then the crying does not swap groundlessness and it is not a TRM. sent6: there exists something such that it is a kind of a magnetism. sent7: if the periclase does swap crying but it is not alive the pitchfork swap crying. sent8: if the lapdog is arbitrative the lair is not a kind of a marginalization. sent9: if something is not arbitrative the fact that it is obligatory and it is a marginalization is wrong. sent10: there is something such that it does not swap groundlessness. sent11: if something is not obligatory that it singles radiation and is arbitrative does not hold. sent12: the pitchfork is obligatory if the fact that it swaps crying is correct. sent13: there exists nothing that does swap groundlessness and singles radiation. sent14: the lair does not upheave and it does not shoo if there is something such that it is non-arbitrative. sent15: the lair is obligatory if there exists something such that that it does swap groundlessness and it singles radiation is incorrect.
sent10 & sent1 -> int1: the lair does not single radiation and it is not arbitrative.; int1 -> int2: that the lair is not arbitrative is right.; sent9 -> int3: if the lair is not arbitrative then that it is obligatory and it is a marginalization is false.; int2 & int3 -> hypothesis;
the lair is a kind of obligatory a marginalization.
sent13 -> int4: the fact that the lapdog swaps groundlessness and it does single radiation does not hold.; int4 -> int5: there exists something such that the fact that it does swap groundlessness and singles radiation is not correct.; int5 & sent15 -> int6: the lair is obligatory.;
$hypothesis$ = the lair is obligatory thing that is a kind of a marginalization. ; $context$ = sent1: if there exists something such that it does not swap groundlessness then the lair does not single radiation and it is not arbitrative. sent2: something does not single radiation and is not a Weisshorn if it swaps groundlessness. sent3: the lapdog is arbitrative if the pitchfork is obligatory. sent4: if the fact that something does not swap groundlessness but it is a marginalization does not hold then it does swap groundlessness. sent5: if something is not alive then the crying does not swap groundlessness and it is not a TRM. sent6: there exists something such that it is a kind of a magnetism. sent7: if the periclase does swap crying but it is not alive the pitchfork swap crying. sent8: if the lapdog is arbitrative the lair is not a kind of a marginalization. sent9: if something is not arbitrative the fact that it is obligatory and it is a marginalization is wrong. sent10: there is something such that it does not swap groundlessness. sent11: if something is not obligatory that it singles radiation and is arbitrative does not hold. sent12: the pitchfork is obligatory if the fact that it swaps crying is correct. sent13: there exists nothing that does swap groundlessness and singles radiation. sent14: the lair does not upheave and it does not shoo if there is something such that it is non-arbitrative. sent15: the lair is obligatory if there exists something such that that it does swap groundlessness and it singles radiation is incorrect. ; $proof$ = 
sent10 & sent1 -> int1: the lair does not single radiation and it is not arbitrative.; int1 -> int2: that the lair is not arbitrative is right.; sent9 -> int3: if the lair is not arbitrative then that it is obligatory and it is a marginalization is false.; int2 & int3 -> hypothesis; __DISPROVED__