「この直線上は再会出来る」ということは成り立つということはない
fact1: 「「不動産登記でないし遊び疲れる」ということは成り立たない」物はある fact2: 仮に現われ易い物が分かり難くないとしたらこの直線上は終了処理である fact3: 何かは光らす一方で分かり難くないならこの直線上は取れ易い fact4: 仮にとある物が検査中であるかまたはそれは売っ払うかまたは両方であるならば終了処理でない fact5: とあるものは現われ易いけどそれは分かり難いということはない fact6: もしそのリコール隠しは繁殖し易いとすると「あのせせら笑いはめぼしい物であって奉安しない」ということは事実と異なる fact7: もしもとある物は起こし難いとすれば「それは上げ易い」ということは本当である fact8: なにかは終了処理でないとしたらそれは分かり難くないかあるいはそれは現われ易いかもしくは両方ともである fact9: もし仮にこの納豆菌が限り無くないしおまけに犯し易くないならばそれは売っ払う fact10: この副流煙は取り去る fact11: 終了処理は再会出来る fact12: 分かり難くない物はある fact13: 「現われ易くて分かり難い」ものがあるとすればこの直線上は終了処理だ fact14: もし「あのせせら笑いはめぼしいけれど奉安するということはない」ということは成り立たないとするとそれは握り易い fact15: もしもこの納豆菌が分かり難くないか現われ易いかあるいは両方ならこの直線上は再会出来ない
fact5 & fact2 -> int1: この直線上は終了処理である; fact11 -> int2: 仮にこの直線上は終了処理であるとすれば「それは再会出来る」ということは確かである; int1 & int2 -> hypothesis;
fact5 & fact2 -> int1: {C}{a}; fact11 -> int2: {C}{a} -> {D}{a}; int1 & int2 -> hypothesis;
この直線上は再会出来ない
fact16 -> int3: もし仮にこの納豆菌が終了処理でないならそれは分かり難くないかそれは現われ易いかあるいは両方ともだ; fact21 -> int4: もしこの納豆菌が検査中であるかまたはそれは売っ払うかまたは両方ならそれは終了処理でない;
$facts$ = fact1: 「「不動産登記でないし遊び疲れる」ということは成り立たない」物はある fact2: 仮に現われ易い物が分かり難くないとしたらこの直線上は終了処理である fact3: 何かは光らす一方で分かり難くないならこの直線上は取れ易い fact4: 仮にとある物が検査中であるかまたはそれは売っ払うかまたは両方であるならば終了処理でない fact5: とあるものは現われ易いけどそれは分かり難いということはない fact6: もしそのリコール隠しは繁殖し易いとすると「あのせせら笑いはめぼしい物であって奉安しない」ということは事実と異なる fact7: もしもとある物は起こし難いとすれば「それは上げ易い」ということは本当である fact8: なにかは終了処理でないとしたらそれは分かり難くないかあるいはそれは現われ易いかもしくは両方ともである fact9: もし仮にこの納豆菌が限り無くないしおまけに犯し易くないならばそれは売っ払う fact10: この副流煙は取り去る fact11: 終了処理は再会出来る fact12: 分かり難くない物はある fact13: 「現われ易くて分かり難い」ものがあるとすればこの直線上は終了処理だ fact14: もし「あのせせら笑いはめぼしいけれど奉安するということはない」ということは成り立たないとするとそれは握り易い fact15: もしもこの納豆菌が分かり難くないか現われ易いかあるいは両方ならこの直線上は再会出来ない ; $hypothesis$ = 「この直線上は再会出来る」ということは成り立つということはない ; $proof$ = 
fact5 & fact2 -> int1: この直線上は終了処理である; fact11 -> int2: 仮にこの直線上は終了処理であるとすれば「それは再会出来る」ということは確かである; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「「不動産登記でないし遊び疲れる」ということは成り立たない」物はある
事実2: 仮に現われ易い物が分かり難くないとしたらこの直線上は終了処理である
事実3: 何かは光らす一方で分かり難くないならこの直線上は取れ易い
事実4: 仮にとある物が検査中であるかまたはそれは売っ払うかまたは両方であるならば終了処理でない
事実5: とあるものは現われ易いけどそれは分かり難いということはない
事実6: もしそのリコール隠しは繁殖し易いとすると「あのせせら笑いはめぼしい物であって奉安しない」ということは事実と異なる
事実7: もしもとある物は起こし難いとすれば「それは上げ易い」ということは本当である
事実8: なにかは終了処理でないとしたらそれは分かり難くないかあるいはそれは現われ易いかもしくは両方ともである
事実9: もし仮にこの納豆菌が限り無くないしおまけに犯し易くないならばそれは売っ払う
事実10: この副流煙は取り去る
事実11: 終了処理は再会出来る
事実12: 分かり難くない物はある
事実13: 「現われ易くて分かり難い」ものがあるとすればこの直線上は終了処理だ
事実14: もし「あのせせら笑いはめぼしいけれど奉安するということはない」ということは成り立たないとするとそれは握り易い
事実15: もしもこの納豆菌が分かり難くないか現われ易いかあるいは両方ならこの直線上は再会出来ない

仮説: 「この直線上は再会出来る」ということは成り立つということはない
1. 事実5と事実2から、推論1: "この直線上は終了処理である"が導かれる
2. 事実11から、推論2: "仮にこの直線上は終了処理であるとすれば「それは再会出来る」ということは確かである"が導かれる
3. 推論1と推論2から、仮説が否定される

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