the diplodocus does fiddle and it does rummage Pompeii.
sent1: The Pompeii rummages diplodocus. sent2: the Neandertal is a kind of a barred. sent3: if something is not a kind of a maniraptor it is a kind of a barred that is non-crosswise. sent4: if the fact that the conspecific is a kind of non-backhand thing that does rummage Pyralidae does not hold it is not a kind of a souring. sent5: the plumule is not a maniraptor if the polarimeter is a kind of a condyle. sent6: the Neandertal does not bar if the diplodocus does square. sent7: the Neandertal is non-square if the plumule does bar but it is not crosswise. sent8: something does not rummage Pyralidae if the fact that it rummage Pyralidae and it is a gusher is not right. sent9: something does fiddle if the fact that it is not a square is right. sent10: the fact that the diplodocus does fiddle and it does rummage Pompeii is wrong if the Neandertal is not a square. sent11: that the C-clamp does rummage Pyralidae and it is a gusher is incorrect. sent12: the diplodocus rummages Pompeii. sent13: the diplodocus is not a barred. sent14: if there is something such that it does not rummage Pyralidae then that the conspecific does not backhand but it rummage Pyralidae does not hold.
void -> assump1: Let's assume that the diplodocus does square.; sent6 & assump1 -> int1: the Neandertal is not a barred.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the diplodocus is not a kind of a square.; sent9 -> int4: the diplodocus fiddles if it is not square.; int3 & int4 -> int5: the diplodocus fiddles.; int5 & sent12 -> hypothesis;
the fact that the diplodocus does fiddle and it rummages Pompeii is not right.
sent3 -> int6: if the plumule is not a maniraptor then it bars and is not crosswise.; sent8 -> int7: the C-clamp does not rummage Pyralidae if that it does rummage Pyralidae and is a gusher does not hold.; int7 & sent11 -> int8: the C-clamp does not rummage Pyralidae.; int8 -> int9: something does not rummage Pyralidae.; int9 & sent14 -> int10: that the conspecific is a kind of non-backhand thing that rummages Pyralidae is not correct.; sent4 & int10 -> int11: the conspecific is not a kind of a souring.; int11 -> int12: the conspecific is not a souring or it is a condyle or both.; int12 -> int13: there is something such that it is not a souring or a condyle or both.;
$hypothesis$ = the diplodocus does fiddle and it does rummage Pompeii. ; $context$ = sent1: The Pompeii rummages diplodocus. sent2: the Neandertal is a kind of a barred. sent3: if something is not a kind of a maniraptor it is a kind of a barred that is non-crosswise. sent4: if the fact that the conspecific is a kind of non-backhand thing that does rummage Pyralidae does not hold it is not a kind of a souring. sent5: the plumule is not a maniraptor if the polarimeter is a kind of a condyle. sent6: the Neandertal does not bar if the diplodocus does square. sent7: the Neandertal is non-square if the plumule does bar but it is not crosswise. sent8: something does not rummage Pyralidae if the fact that it rummage Pyralidae and it is a gusher is not right. sent9: something does fiddle if the fact that it is not a square is right. sent10: the fact that the diplodocus does fiddle and it does rummage Pompeii is wrong if the Neandertal is not a square. sent11: that the C-clamp does rummage Pyralidae and it is a gusher is incorrect. sent12: the diplodocus rummages Pompeii. sent13: the diplodocus is not a barred. sent14: if there is something such that it does not rummage Pyralidae then that the conspecific does not backhand but it rummage Pyralidae does not hold. ; $proof$ = 
void -> assump1: Let's assume that the diplodocus does square.; sent6 & assump1 -> int1: the Neandertal is not a barred.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the diplodocus is not a kind of a square.; sent9 -> int4: the diplodocus fiddles if it is not square.; int3 & int4 -> int5: the diplodocus fiddles.; int5 & sent12 -> hypothesis; __PROVED__