the fact that the pisanosaur does not brief tamp and is circulative does not hold.
sent1: the square-rigger is a materialist that is a cooling. sent2: the square-rigger cools if the pisanosaur does not cools. sent3: the fact that the pisanosaur is a kind of non-cooling thing that does brief tamp is not right. sent4: the fact that the pisanosaur does not brief tamp and is a Dipus does not hold. sent5: the Reverend is not a rifampin. sent6: the audiogram is circulative. sent7: if the audiogram is radiopaque then that the pisanosaur does brief tamp and is circulative is not correct. sent8: the fact that the Reverend tinsels shipmate is true. sent9: the Reverend is not a kind of a Dipus if the square-rigger is a materialist and cooling. sent10: if the Reverend is not a rifampin it does not brief tamp and/or it is not radiopaque. sent11: the square-rigger is a materialist. sent12: the square-rigger is circulative if the pisanosaur is circulative. sent13: if there is something such that it either does not brief tamp or is not radiopaque or both the pisanosaur does not brief tamp. sent14: if the Reverend is not a Dipus the audiogram is a kind of a Dipus that is not non-radiopaque.
sent9 & sent1 -> int1: the Reverend is not a Dipus.; int1 & sent14 -> int2: the audiogram is a Dipus and radiopaque.; int2 -> int3: the audiogram is radiopaque.;
the pisanosaur does not brief tamp but it is circulative.
sent10 & sent5 -> int4: the Reverend does not brief tamp and/or it is non-radiopaque.; int4 -> int5: there is something such that either it does not brief tamp or it is non-radiopaque or both.; int5 & sent13 -> int6: the pisanosaur does not brief tamp.;
$hypothesis$ = the fact that the pisanosaur does not brief tamp and is circulative does not hold. ; $context$ = sent1: the square-rigger is a materialist that is a cooling. sent2: the square-rigger cools if the pisanosaur does not cools. sent3: the fact that the pisanosaur is a kind of non-cooling thing that does brief tamp is not right. sent4: the fact that the pisanosaur does not brief tamp and is a Dipus does not hold. sent5: the Reverend is not a rifampin. sent6: the audiogram is circulative. sent7: if the audiogram is radiopaque then that the pisanosaur does brief tamp and is circulative is not correct. sent8: the fact that the Reverend tinsels shipmate is true. sent9: the Reverend is not a kind of a Dipus if the square-rigger is a materialist and cooling. sent10: if the Reverend is not a rifampin it does not brief tamp and/or it is not radiopaque. sent11: the square-rigger is a materialist. sent12: the square-rigger is circulative if the pisanosaur is circulative. sent13: if there is something such that it either does not brief tamp or is not radiopaque or both the pisanosaur does not brief tamp. sent14: if the Reverend is not a Dipus the audiogram is a kind of a Dipus that is not non-radiopaque. ; $proof$ = 
sent9 & sent1 -> int1: the Reverend is not a Dipus.; int1 & sent14 -> int2: the audiogram is a Dipus and radiopaque.; int2 -> int3: the audiogram is radiopaque.; __UNKNOWN__