その畜産物は御得である
fact1: 洒落臭くないものは同一性でない fact2: その畜産物はヨーロッパ石炭鉄鋼共同体であるかもしくはそれは洒落臭いか両方である fact3: その四位上は洒落臭い fact4: 「その四位上が同一性であるかそれは洒落臭いかあるいは両方ともだとすれば「その畜産物はヨーロッパ石炭鉄鋼共同体でない」ということは真実である」ということは成り立つ fact5: 仮にとある物はヨーロッパ石炭鉄鋼共同体でないとしたらそれは御得でない fact6: もしその四位上が同一性ならばその畜産物はヨーロッパ石炭鉄鋼共同体でない fact7: その四位上は有り難い fact8: あの議席は洒落臭いということはない fact9: その四位上は御得でない fact10: 仮になんらかのものは同一性であるなら御得である fact11: 仮にその四位上が斬首するしさらに機関室だとするとそれはヨーロッパ石炭鉄鋼共同体だということはない
fact3 -> int1: その四位上は同一性であるかまたは洒落臭い; int1 & fact4 -> int2: その畜産物はヨーロッパ石炭鉄鋼共同体でない; fact5 -> int3: もしもその畜産物はヨーロッパ石炭鉄鋼共同体でないとするとそれは御得でない; int2 & int3 -> hypothesis;
その畜産物は御得だ
fact12 -> int4: 仮にその畜産物が同一性なら御得だ;
$facts$ = fact1: 洒落臭くないものは同一性でない fact2: その畜産物はヨーロッパ石炭鉄鋼共同体であるかもしくはそれは洒落臭いか両方である fact3: その四位上は洒落臭い fact4: 「その四位上が同一性であるかそれは洒落臭いかあるいは両方ともだとすれば「その畜産物はヨーロッパ石炭鉄鋼共同体でない」ということは真実である」ということは成り立つ fact5: 仮にとある物はヨーロッパ石炭鉄鋼共同体でないとしたらそれは御得でない fact6: もしその四位上が同一性ならばその畜産物はヨーロッパ石炭鉄鋼共同体でない fact7: その四位上は有り難い fact8: あの議席は洒落臭いということはない fact9: その四位上は御得でない fact10: 仮になんらかのものは同一性であるなら御得である fact11: 仮にその四位上が斬首するしさらに機関室だとするとそれはヨーロッパ石炭鉄鋼共同体だということはない ; $hypothesis$ = その畜産物は御得である ; $proof$ = 
fact3 -> int1: その四位上は同一性であるかまたは洒落臭い; int1 & fact4 -> int2: その畜産物はヨーロッパ石炭鉄鋼共同体でない; fact5 -> int3: もしもその畜産物はヨーロッパ石炭鉄鋼共同体でないとするとそれは御得でない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 洒落臭くないものは同一性でない
事実2: その畜産物はヨーロッパ石炭鉄鋼共同体であるかもしくはそれは洒落臭いか両方である
事実3: その四位上は洒落臭い
事実4: 「その四位上が同一性であるかそれは洒落臭いかあるいは両方ともだとすれば「その畜産物はヨーロッパ石炭鉄鋼共同体でない」ということは真実である」ということは成り立つ
事実5: 仮にとある物はヨーロッパ石炭鉄鋼共同体でないとしたらそれは御得でない
事実6: もしその四位上が同一性ならばその畜産物はヨーロッパ石炭鉄鋼共同体でない
事実7: その四位上は有り難い
事実8: あの議席は洒落臭いということはない
事実9: その四位上は御得でない
事実10: 仮になんらかのものは同一性であるなら御得である
事実11: 仮にその四位上が斬首するしさらに機関室だとするとそれはヨーロッパ石炭鉄鋼共同体だということはない

仮説: その畜産物は御得である
1. 事実3から、推論1: "その四位上は同一性であるかまたは洒落臭い"が導かれる
2. 推論1と事実4から、推論2: "その畜産物はヨーロッパ石炭鉄鋼共同体でない"が導かれる
3. 事実5から、推論3: "もしもその畜産物はヨーロッパ石炭鉄鋼共同体でないとするとそれは御得でない"が導かれる
4. 推論2と推論3から、仮説が否定される

よって、仮説が否定されました。