the fact that the pommel is not a RBC and is not fisheye if the pharisee does load dissolve is wrong.
sent1: there is something such that the fact that it is a demurrage and it is fisheye is incorrect. sent2: if the fact that the pharisee is not unprovocative is right the fact that it is ipsilateral is not incorrect. sent3: the fact that the pharisee is not a kind of a demurrage but it is fisheye is not true if it is not a kind of a curvature. sent4: the pommel does not load dissolve if there exists something such that it is both not unprovocative and not ipsilateral. sent5: the pommel is not a RBC if the pharisee is unprovocative and does load dissolve. sent6: the pharisee is not a curvature. sent7: the pommel is not fisheye if there is something such that it is not a kind of a demurrage. sent8: the coronion is not ipsilateral and it is not a vibraphone if the pharisee is ipsilateral. sent9: the spatchcock is not a kind of a diol. sent10: that the coronion is non-ipsilateral thing that is not a vibraphone is incorrect. sent11: if something is not a kind of a RBC then it is not a vibraphone. sent12: if there exists something such that that it is both a demurrage and fisheye is wrong then the pommel is not fisheye. sent13: something is both not unprovocative and not ipsilateral if it is not a vibraphone.
void -> assump2: Let's assume that the pharisee is not unprovocative.; sent2 & assump2 -> int1: the pharisee is ipsilateral.; int1 & sent8 -> int2: the coronion is non-ipsilateral thing that is not a vibraphone.; int2 & sent10 -> int3: this is contradiction.; [assump2] & int3 -> int4: the pharisee is unprovocative.; void -> assump1: Let's assume that the pharisee loads dissolve.; int4 & assump1 -> int5: the pharisee is unprovocative thing that does load dissolve.; int5 & sent5 -> int6: the pommel is not a RBC.; sent1 & sent12 -> int7: the pommel is not fisheye.; int6 & int7 -> int8: the pommel is not a RBC and not fisheye.; [assump1] & int8 -> hypothesis;
the pommel does not load dissolve.
sent13 -> int9: if the pharisee is not a vibraphone then it is both not unprovocative and not ipsilateral.; sent11 -> int10: the pharisee is not a vibraphone if it is not a RBC.; sent3 & sent6 -> int11: that the pharisee is not a demurrage and is fisheye is not true.;
$hypothesis$ = the fact that the pommel is not a RBC and is not fisheye if the pharisee does load dissolve is wrong. ; $context$ = sent1: there is something such that the fact that it is a demurrage and it is fisheye is incorrect. sent2: if the fact that the pharisee is not unprovocative is right the fact that it is ipsilateral is not incorrect. sent3: the fact that the pharisee is not a kind of a demurrage but it is fisheye is not true if it is not a kind of a curvature. sent4: the pommel does not load dissolve if there exists something such that it is both not unprovocative and not ipsilateral. sent5: the pommel is not a RBC if the pharisee is unprovocative and does load dissolve. sent6: the pharisee is not a curvature. sent7: the pommel is not fisheye if there is something such that it is not a kind of a demurrage. sent8: the coronion is not ipsilateral and it is not a vibraphone if the pharisee is ipsilateral. sent9: the spatchcock is not a kind of a diol. sent10: that the coronion is non-ipsilateral thing that is not a vibraphone is incorrect. sent11: if something is not a kind of a RBC then it is not a vibraphone. sent12: if there exists something such that that it is both a demurrage and fisheye is wrong then the pommel is not fisheye. sent13: something is both not unprovocative and not ipsilateral if it is not a vibraphone. ; $proof$ = 
void -> assump2: Let's assume that the pharisee is not unprovocative.; sent2 & assump2 -> int1: the pharisee is ipsilateral.; int1 & sent8 -> int2: the coronion is non-ipsilateral thing that is not a vibraphone.; int2 & sent10 -> int3: this is contradiction.; [assump2] & int3 -> int4: the pharisee is unprovocative.; void -> assump1: Let's assume that the pharisee loads dissolve.; int4 & assump1 -> int5: the pharisee is unprovocative thing that does load dissolve.; int5 & sent5 -> int6: the pommel is not a RBC.; sent1 & sent12 -> int7: the pommel is not fisheye.; int6 & int7 -> int8: the pommel is not a RBC and not fisheye.; [assump1] & int8 -> hypothesis; __DISPROVED__