the maze does piddle urn.
sent1: the nitroglycerin is a propane if the fact that the urn is not a propane and it is not a Bavarian is not right. sent2: the fact that the maze is not tactical if the fact that the Geordie is a kind of sporadic thing that mystifies impatience is not true is correct. sent3: the fact that if the Geordie is not a kind of a tugboat then the maze is not a Triassic is not wrong. sent4: something does not piddle urn if the fact that it is non-Triassic and/or it is not a tugboat is not correct. sent5: the maze is not a Triassic if the fact that the Geordie is a kind of a tugboat and is tactical does not hold. sent6: the fact that the website is not a archipallium and is not a guide is not right. sent7: if something is not a Triassic it is petalous. sent8: if the maze is non-Triassic then it is petalous. sent9: if something is not a kind of a Triassic it is a kind of a neuter that is petalous. sent10: if the scum does not hum nitroglycerin then it is a Bavarian and it outstares Geordie. sent11: the fact that the Geordie is a tugboat and it is tactical is wrong. sent12: the nitroglycerin is a Priestley if there is something such that the fact that it is not a archipallium and it is not a kind of a guide is wrong. sent13: something does piddle urn if it is not non-neuter. sent14: if something is a kind of a Bavarian then the fact that the urn is not a propane and is not a Bavarian is not true. sent15: something is a tugboat if it is tactical. sent16: if a propane is a Priestley then that it is not sporadic is not wrong. sent17: if something is not tactical then that it is not Triassic or not a tugboat or both is false. sent18: the scum does not hum nitroglycerin.
sent9 -> int1: that the maze is neuter and it is petalous if the maze is not a Triassic is not incorrect.; sent5 & sent11 -> int2: the maze is not a kind of a Triassic.; int1 & int2 -> int3: the maze is neuter and petalous.; int3 -> int4: the maze is neuter.; sent13 -> int5: if the maze is a neuter it does piddle urn.; int4 & int5 -> hypothesis;
the maze does not piddle urn.
sent4 -> int6: if that the maze is not a kind of a Triassic or is not a tugboat or both is false then that it does not piddle urn is correct.; sent17 -> int7: if the maze is not tactical then that it is not a kind of a Triassic or it is not a kind of a tugboat or both is not right.; sent16 -> int8: if the nitroglycerin is a kind of a propane and is a Priestley then the fact that it is not sporadic hold.; sent10 & sent18 -> int9: the scum is a kind of a Bavarian that outstares Geordie.; int9 -> int10: the scum is not non-Bavarian.; int10 -> int11: there is something such that it is a Bavarian.; int11 & sent14 -> int12: the fact that the urn is not a propane and it is not a Bavarian is not true.; sent1 & int12 -> int13: the nitroglycerin is a propane.; sent6 -> int14: there exists something such that the fact that it is not a kind of a archipallium and it does not guide does not hold.; int14 & sent12 -> int15: the nitroglycerin is a Priestley.; int13 & int15 -> int16: the nitroglycerin is a propane and it is a kind of a Priestley.; int8 & int16 -> int17: the nitroglycerin is non-sporadic.; int17 -> int18: there are non-sporadic things.;
$hypothesis$ = the maze does piddle urn. ; $context$ = sent1: the nitroglycerin is a propane if the fact that the urn is not a propane and it is not a Bavarian is not right. sent2: the fact that the maze is not tactical if the fact that the Geordie is a kind of sporadic thing that mystifies impatience is not true is correct. sent3: the fact that if the Geordie is not a kind of a tugboat then the maze is not a Triassic is not wrong. sent4: something does not piddle urn if the fact that it is non-Triassic and/or it is not a tugboat is not correct. sent5: the maze is not a Triassic if the fact that the Geordie is a kind of a tugboat and is tactical does not hold. sent6: the fact that the website is not a archipallium and is not a guide is not right. sent7: if something is not a Triassic it is petalous. sent8: if the maze is non-Triassic then it is petalous. sent9: if something is not a kind of a Triassic it is a kind of a neuter that is petalous. sent10: if the scum does not hum nitroglycerin then it is a Bavarian and it outstares Geordie. sent11: the fact that the Geordie is a tugboat and it is tactical is wrong. sent12: the nitroglycerin is a Priestley if there is something such that the fact that it is not a archipallium and it is not a kind of a guide is wrong. sent13: something does piddle urn if it is not non-neuter. sent14: if something is a kind of a Bavarian then the fact that the urn is not a propane and is not a Bavarian is not true. sent15: something is a tugboat if it is tactical. sent16: if a propane is a Priestley then that it is not sporadic is not wrong. sent17: if something is not tactical then that it is not Triassic or not a tugboat or both is false. sent18: the scum does not hum nitroglycerin. ; $proof$ = 
sent9 -> int1: that the maze is neuter and it is petalous if the maze is not a Triassic is not incorrect.; sent5 & sent11 -> int2: the maze is not a kind of a Triassic.; int1 & int2 -> int3: the maze is neuter and petalous.; int3 -> int4: the maze is neuter.; sent13 -> int5: if the maze is a neuter it does piddle urn.; int4 & int5 -> hypothesis; __PROVED__