「そのＤＸＤＸは見付かりっこでなくて更にそれは地租でない」ということは成り立たない
fact1: もしもなんらかの物は収授・田主権でないなら「口答えする一方で落札出来ない」ということは誤りだ fact2: 何かは出兵するかもしくは逃れ難いかまたはどちらもである fact3: 仮にそのＤＸＤＸは源泉税でないならば「それは軽ーくないし加えてそれは見付かりっこでない」ということは偽である fact4: 「そのＤＸＤＸは面倒臭くなくて冷酷さでない」ということは間違いである fact5: もしも「「面倒臭いかあるいは関係者であるかまたは両方ともである」ということは誤りである」物があるとするとそのＤＸＤＸは相殺消去するということはない fact6: 「そのＤＸＤＸは仕舞い込まないが拉致である」ということは成り立つということはない fact7: 「そのＤＸＤＸは際どかないけど口答えする」ということは確かでない fact8: 「そのＤＸＤＸは後続車であるけれど面倒臭くない」ということは成り立たない fact9: そのＤＸＤＸは面倒臭くない fact10: 「その農奴はレジデントでない一方でそれは地租だ」ということは嘘だ fact11: 「落札出来ない」ものはある fact12: 「そのＤＸＤＸは見付かりっこでないしそれにそれは賞罰でない」ということは偽である fact13: 「「面倒臭いかもしくは関係者であるかもしくは両方である」ということは誤りである」ものはある fact14: もしなにかは相殺消去しないとすると「見付かりっこでないし地租でない」ということは間違いだ
fact13 & fact5 -> int1: そのＤＸＤＸは相殺消去しない; fact14 -> int2: そのＤＸＤＸは相殺消去しないとすれば「見付かりっこでないしかつ地租でない」ということは間違いである; int1 & int2 -> hypothesis;
fact13 & fact5 -> int1: ¬{A}{a}; fact14 -> int2: ¬{A}{a} -> ¬(¬{B}{a} & ¬{C}{a}); int1 & int2 -> hypothesis;
$facts$ = fact1: もしもなんらかの物は収授・田主権でないなら「口答えする一方で落札出来ない」ということは誤りだ fact2: 何かは出兵するかもしくは逃れ難いかまたはどちらもである fact3: 仮にそのＤＸＤＸは源泉税でないならば「それは軽ーくないし加えてそれは見付かりっこでない」ということは偽である fact4: 「そのＤＸＤＸは面倒臭くなくて冷酷さでない」ということは間違いである fact5: もしも「「面倒臭いかあるいは関係者であるかまたは両方ともである」ということは誤りである」物があるとするとそのＤＸＤＸは相殺消去するということはない fact6: 「そのＤＸＤＸは仕舞い込まないが拉致である」ということは成り立つということはない fact7: 「そのＤＸＤＸは際どかないけど口答えする」ということは確かでない fact8: 「そのＤＸＤＸは後続車であるけれど面倒臭くない」ということは成り立たない fact9: そのＤＸＤＸは面倒臭くない fact10: 「その農奴はレジデントでない一方でそれは地租だ」ということは嘘だ fact11: 「落札出来ない」ものはある fact12: 「そのＤＸＤＸは見付かりっこでないしそれにそれは賞罰でない」ということは偽である fact13: 「「面倒臭いかもしくは関係者であるかもしくは両方である」ということは誤りである」ものはある fact14: もしなにかは相殺消去しないとすると「見付かりっこでないし地租でない」ということは間違いだ ; $hypothesis$ = 「そのＤＸＤＸは見付かりっこでなくて更にそれは地租でない」ということは成り立たない ; $proof$ = 
fact13 & fact5 -> int1: そのＤＸＤＸは相殺消去しない; fact14 -> int2: そのＤＸＤＸは相殺消去しないとすれば「見付かりっこでないしかつ地租でない」ということは間違いである; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもなんらかの物は収授・田主権でないなら「口答えする一方で落札出来ない」ということは誤りだ
事実2: 何かは出兵するかもしくは逃れ難いかまたはどちらもである
事実3: 仮にそのＤＸＤＸは源泉税でないならば「それは軽ーくないし加えてそれは見付かりっこでない」ということは偽である
事実4: 「そのＤＸＤＸは面倒臭くなくて冷酷さでない」ということは間違いである
事実5: もしも「「面倒臭いかあるいは関係者であるかまたは両方ともである」ということは誤りである」物があるとするとそのＤＸＤＸは相殺消去するということはない
事実6: 「そのＤＸＤＸは仕舞い込まないが拉致である」ということは成り立つということはない
事実7: 「そのＤＸＤＸは際どかないけど口答えする」ということは確かでない
事実8: 「そのＤＸＤＸは後続車であるけれど面倒臭くない」ということは成り立たない
事実9: そのＤＸＤＸは面倒臭くない
事実10: 「その農奴はレジデントでない一方でそれは地租だ」ということは嘘だ
事実11: 「落札出来ない」ものはある
事実12: 「そのＤＸＤＸは見付かりっこでないしそれにそれは賞罰でない」ということは偽である
事実13: 「「面倒臭いかもしくは関係者であるかもしくは両方である」ということは誤りである」ものはある
事実14: もしなにかは相殺消去しないとすると「見付かりっこでないし地租でない」ということは間違いだ

仮説: 「そのＤＸＤＸは見付かりっこでなくて更にそれは地租でない」ということは成り立たない
1. 事実13と事実5から、推論1: "そのＤＸＤＸは相殺消去しない"が導かれる
2. 事実14から、推論2: "そのＤＸＤＸは相殺消去しないとすれば「見付かりっこでないしかつ地租でない」ということは間違いである"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。