the fact that that the road is not actinal or it is not a seaward or both is wrong hold.
sent1: that the road is not actinal or not a seaward or both is not true if the aloes is not actinal. sent2: the fact that something is not anticancer and/or gauges risklessness does not hold if the fact that it does not moderate is not incorrect. sent3: that something is not extrospective but it negates rya is not correct if it is actinal. sent4: if the toast is exhaustible then it does not tag LGB. sent5: that the road does not tag ash-pan and does not uncover is not true. sent6: if that the piggery is not anticancer and/or gauges risklessness does not hold then the flyway does not gauges risklessness. sent7: the aloes does gauge risklessness and it tags pahoehoe. sent8: the fact that the aloes is not extrospective but it negates rya is wrong. sent9: the nephoscope is a kind of a Nash and it does gauge Dimorphotheca. sent10: if the fact that something is hydraulics and it is a threat is false then that it is not a cyclone is not wrong. sent11: the fact that the road is actinal is not incorrect. sent12: if that the blouse is not exhaustible or it is a jacklight or both is not right then the piggery is not moderating. sent13: if something is actinal then that it is not extrospective and it does not negate rya is incorrect. sent14: the fact that the sodom is a kind of hydraulics thing that is a threat is false if there is something such that it is a Nash. sent15: the road tags pahoehoe if the flyway does not gauge risklessness. sent16: something is not actinal and/or it is not a kind of a seaward if it does tag pahoehoe. sent17: if the aloes is actinal then that it is not extrospective and it negates rya does not hold. sent18: the aloes does gauge risklessness. sent19: something does not tag pahoehoe if it does negate rya. sent20: the aloes is an escort. sent21: if the aloes is not actinal then the road is actinal.
sent13 -> int1: if the aloes is actinal then that it is non-extrospective thing that does not negate rya does not hold.; void -> assump1: Let's assume that the aloes is actinal.; int1 & assump1 -> int2: the fact that the aloes is not extrospective and it does not negate rya is not correct.; sent7 -> int3: that the aloes does tag pahoehoe is right.;
the road is not actinal or it is not a seaward or both.
sent16 -> int4: the road is non-actinal and/or not seaward if the fact that it does tag pahoehoe is right.; sent2 -> int5: the fact that the piggery either is not anticancer or gauges risklessness or both does not hold if it is not moderating.; sent10 -> int6: the sodom is not a cyclone if that it is hydraulics and it is a kind of a threat is false.; sent9 -> int7: that the nephoscope is a kind of a Nash hold.; int7 -> int8: there is something such that it is a Nash.; int8 & sent14 -> int9: the fact that the sodom is hydraulics and it is a threat is not right.; int6 & int9 -> int10: that the sodom is not a cyclone hold.; int10 -> int11: there exists something such that it is not a cyclone.;
$hypothesis$ = the fact that that the road is not actinal or it is not a seaward or both is wrong hold. ; $context$ = sent1: that the road is not actinal or not a seaward or both is not true if the aloes is not actinal. sent2: the fact that something is not anticancer and/or gauges risklessness does not hold if the fact that it does not moderate is not incorrect. sent3: that something is not extrospective but it negates rya is not correct if it is actinal. sent4: if the toast is exhaustible then it does not tag LGB. sent5: that the road does not tag ash-pan and does not uncover is not true. sent6: if that the piggery is not anticancer and/or gauges risklessness does not hold then the flyway does not gauges risklessness. sent7: the aloes does gauge risklessness and it tags pahoehoe. sent8: the fact that the aloes is not extrospective but it negates rya is wrong. sent9: the nephoscope is a kind of a Nash and it does gauge Dimorphotheca. sent10: if the fact that something is hydraulics and it is a threat is false then that it is not a cyclone is not wrong. sent11: the fact that the road is actinal is not incorrect. sent12: if that the blouse is not exhaustible or it is a jacklight or both is not right then the piggery is not moderating. sent13: if something is actinal then that it is not extrospective and it does not negate rya is incorrect. sent14: the fact that the sodom is a kind of hydraulics thing that is a threat is false if there is something such that it is a Nash. sent15: the road tags pahoehoe if the flyway does not gauge risklessness. sent16: something is not actinal and/or it is not a kind of a seaward if it does tag pahoehoe. sent17: if the aloes is actinal then that it is not extrospective and it negates rya does not hold. sent18: the aloes does gauge risklessness. sent19: something does not tag pahoehoe if it does negate rya. sent20: the aloes is an escort. sent21: if the aloes is not actinal then the road is actinal. ; $proof$ = 
sent13 -> int1: if the aloes is actinal then that it is non-extrospective thing that does not negate rya does not hold.; void -> assump1: Let's assume that the aloes is actinal.; int1 & assump1 -> int2: the fact that the aloes is not extrospective and it does not negate rya is not correct.; sent7 -> int3: that the aloes does tag pahoehoe is right.; __UNKNOWN__