「この掌全体は弁別しない」ということは確かだ
fact1: この掌全体は登記す fact2: その年齢順は王妃でない fact3: 遠いものは弁別する fact4: 仮にその年齢順が登記すとすればこの掌全体は遠い fact5: もしもその年齢順は遠いならば「それはしょぼくれる」ということは誤りでない fact6: その年齢順はしょぼくれる fact7: この掌全体は積層する fact8: その年齢順は登記すし加えてしょぼくれる fact9: 仮にその年齢順が疑わしいということはないとするとそれはしょぼくれるしそれに遠い fact10: もし仮になにがしかの物は王妃でないならばそれは疑わしいということはないし加えて非対称姿勢でない
fact8 -> int1: その年齢順は登記す; int1 & fact4 -> int2: この掌全体は遠い; fact3 -> int3: もし仮にこの掌全体は遠いとすれば「弁別する」ということは本当だ; int2 & int3 -> hypothesis;
fact8 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{b}; fact3 -> int3: {C}{b} -> {D}{b}; int2 & int3 -> hypothesis;
その農業構造は弁別する
fact12 -> int4: もしもその年齢順は王妃であるということはないなら疑わしくないしおまけに非対称姿勢でない; int4 & fact11 -> int5: その年齢順は疑わしくないしまた非対称姿勢でない; int5 -> int6: 「その年齢順は疑わしくない」ということは真実だ; fact13 & int6 -> int7: その年齢順はしょぼくれるしそれは遠い; int7 -> int8: 「その年齢順はしょぼくれる」ということは事実である; int8 -> int9: ある物はしょぼくれる;
$facts$ = fact1: この掌全体は登記す fact2: その年齢順は王妃でない fact3: 遠いものは弁別する fact4: 仮にその年齢順が登記すとすればこの掌全体は遠い fact5: もしもその年齢順は遠いならば「それはしょぼくれる」ということは誤りでない fact6: その年齢順はしょぼくれる fact7: この掌全体は積層する fact8: その年齢順は登記すし加えてしょぼくれる fact9: 仮にその年齢順が疑わしいということはないとするとそれはしょぼくれるしそれに遠い fact10: もし仮になにがしかの物は王妃でないならばそれは疑わしいということはないし加えて非対称姿勢でない ; $hypothesis$ = 「この掌全体は弁別しない」ということは確かだ ; $proof$ = 
fact8 -> int1: その年齢順は登記す; int1 & fact4 -> int2: この掌全体は遠い; fact3 -> int3: もし仮にこの掌全体は遠いとすれば「弁別する」ということは本当だ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: この掌全体は登記す
事実2: その年齢順は王妃でない
事実3: 遠いものは弁別する
事実4: 仮にその年齢順が登記すとすればこの掌全体は遠い
事実5: もしもその年齢順は遠いならば「それはしょぼくれる」ということは誤りでない
事実6: その年齢順はしょぼくれる
事実7: この掌全体は積層する
事実8: その年齢順は登記すし加えてしょぼくれる
事実9: 仮にその年齢順が疑わしいということはないとするとそれはしょぼくれるしそれに遠い
事実10: もし仮になにがしかの物は王妃でないならばそれは疑わしいということはないし加えて非対称姿勢でない

仮説: 「この掌全体は弁別しない」ということは確かだ
1. 事実8から、推論1: "その年齢順は登記す"が導かれる
2. 推論1と事実4から、推論2: "この掌全体は遠い"が導かれる
3. 事実3から、推論3: "もし仮にこの掌全体は遠いとすれば「弁別する」ということは本当だ"が導かれる
4. 推論2と推論3から、仮説が否定される

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