the pipe is not a Oakland.
sent1: the pipe is quadrangular if there exists something such that the fact that it either does not girdle speedboat or is not nonexempt or both is incorrect. sent2: the pipe is uncivil if it is not a scrimmage and it is a kind of a joyride. sent3: the fact that something is not communal is not wrong. sent4: if there exists something such that it is not communal that the agronomist does not girdle speedboat and/or is not nonexempt is not right. sent5: something is not intense if it is quadrangular and it is uncivil. sent6: the fact that the magnetization is a Oakland is correct. sent7: the pipe is not a scrimmage and is a joyride. sent8: something is not a kind of a Oakland if it is not intense.
sent3 & sent4 -> int1: the fact that the agronomist does not girdle speedboat or it is not nonexempt or both is not right.; int1 -> int2: there exists something such that the fact that it does not girdle speedboat or it is not nonexempt or both is not correct.; int2 & sent1 -> int3: the pipe is quadrangular.; sent2 & sent7 -> int4: the pipe is not civil.; int3 & int4 -> int5: the pipe is quadrangular and uncivil.; sent5 -> int6: the pipe is not intense if it is both quadrangular and uncivil.; int5 & int6 -> int7: the pipe is not intense.; sent8 -> int8: the pipe is not a kind of a Oakland if it is not intense.; int7 & int8 -> hypothesis;
$hypothesis$ = the pipe is not a Oakland. ; $context$ = sent1: the pipe is quadrangular if there exists something such that the fact that it either does not girdle speedboat or is not nonexempt or both is incorrect. sent2: the pipe is uncivil if it is not a scrimmage and it is a kind of a joyride. sent3: the fact that something is not communal is not wrong. sent4: if there exists something such that it is not communal that the agronomist does not girdle speedboat and/or is not nonexempt is not right. sent5: something is not intense if it is quadrangular and it is uncivil. sent6: the fact that the magnetization is a Oakland is correct. sent7: the pipe is not a scrimmage and is a joyride. sent8: something is not a kind of a Oakland if it is not intense. ; $proof$ = 
sent3 & sent4 -> int1: the fact that the agronomist does not girdle speedboat or it is not nonexempt or both is not right.; int1 -> int2: there exists something such that the fact that it does not girdle speedboat or it is not nonexempt or both is not correct.; int2 & sent1 -> int3: the pipe is quadrangular.; sent2 & sent7 -> int4: the pipe is not civil.; int3 & int4 -> int5: the pipe is quadrangular and uncivil.; sent5 -> int6: the pipe is not intense if it is both quadrangular and uncivil.; int5 & int6 -> int7: the pipe is not intense.; sent8 -> int8: the pipe is not a kind of a Oakland if it is not intense.; int7 & int8 -> hypothesis; __PROVED__