the Rosicrucian is not a dowse but it is a uncial.
sent1: something that is a re-establishment that is a cervix rubbishes dragonhead. sent2: if the Arikara is not a cervix the computer is not a re-establishment but it is a cervix. sent3: if the Arikara is not nonconductive then it is not a cervix. sent4: if the Arikara is not a kind of a cervix the computer is not a kind of a re-establishment. sent5: the Arikara is not nonconductive. sent6: if something is not nonconductive that that it is not a kind of a dowse and it is a kind of a uncial is correct is incorrect. sent7: if the computer is both a re-establishment and a cervix it does rubbish dragonhead. sent8: that the catchment rubbishes dragonhead and it is diluvian is not correct. sent9: the fact that the computer is not a re-establishment is not false. sent10: if the catchment does rubbish dragonhead then the gas is not uncial. sent11: if that the catchment does not rubbish dragonhead and is diluvian is not correct the gas is not uncial. sent12: the Rosicrucian is not a dowse. sent13: the Rosicrucian is not a dowse but it is uncial if the gas is not a uncial. sent14: if something is not a re-establishment but it is a cervix then it rubbishes dragonhead. sent15: if the computer rubbishes dragonhead then that the catchment does rubbishes dragonhead and is diluvian is not true. sent16: if the computer does rubbish dragonhead then the fact that the catchment does not rubbish dragonhead but it is not non-diluvian is not true. sent17: if that the gas is not a uncial is correct that the Rosicrucian is not a kind of a dowse is true.
sent3 & sent5 -> int1: the Arikara is not a cervix.; int1 & sent2 -> int2: the computer is not a re-establishment but it is a cervix.; sent14 -> int3: the computer does rubbish dragonhead if it is not a re-establishment and it is a kind of a cervix.; int2 & int3 -> int4: the computer rubbishes dragonhead.; int4 & sent16 -> int5: that the catchment does not rubbish dragonhead and is diluvian is not correct.; int5 & sent11 -> int6: the gas is not uncial.; int6 & sent13 -> hypothesis;
the fact that the Rosicrucian is not a dowse but it is uncial is incorrect.
sent6 -> int7: that the Rosicrucian does not dowse but it is not non-uncial is incorrect if it is not nonconductive.;
$hypothesis$ = the Rosicrucian is not a dowse but it is a uncial. ; $context$ = sent1: something that is a re-establishment that is a cervix rubbishes dragonhead. sent2: if the Arikara is not a cervix the computer is not a re-establishment but it is a cervix. sent3: if the Arikara is not nonconductive then it is not a cervix. sent4: if the Arikara is not a kind of a cervix the computer is not a kind of a re-establishment. sent5: the Arikara is not nonconductive. sent6: if something is not nonconductive that that it is not a kind of a dowse and it is a kind of a uncial is correct is incorrect. sent7: if the computer is both a re-establishment and a cervix it does rubbish dragonhead. sent8: that the catchment rubbishes dragonhead and it is diluvian is not correct. sent9: the fact that the computer is not a re-establishment is not false. sent10: if the catchment does rubbish dragonhead then the gas is not uncial. sent11: if that the catchment does not rubbish dragonhead and is diluvian is not correct the gas is not uncial. sent12: the Rosicrucian is not a dowse. sent13: the Rosicrucian is not a dowse but it is uncial if the gas is not a uncial. sent14: if something is not a re-establishment but it is a cervix then it rubbishes dragonhead. sent15: if the computer rubbishes dragonhead then that the catchment does rubbishes dragonhead and is diluvian is not true. sent16: if the computer does rubbish dragonhead then the fact that the catchment does not rubbish dragonhead but it is not non-diluvian is not true. sent17: if that the gas is not a uncial is correct that the Rosicrucian is not a kind of a dowse is true. ; $proof$ = 
sent3 & sent5 -> int1: the Arikara is not a cervix.; int1 & sent2 -> int2: the computer is not a re-establishment but it is a cervix.; sent14 -> int3: the computer does rubbish dragonhead if it is not a re-establishment and it is a kind of a cervix.; int2 & int3 -> int4: the computer rubbishes dragonhead.; int4 & sent16 -> int5: that the catchment does not rubbish dragonhead and is diluvian is not correct.; int5 & sent11 -> int6: the gas is not uncial.; int6 & sent13 -> hypothesis; __PROVED__