「あのエージがレプリカントだしまたそれは選出する」ということは成り立つということはない
fact1: その修得定は選出する fact2: 仮に「なんらかのものはレプリカントでおまけにそれは明石海峡だ」ということは嘘なら「それはレプリカントでない」ということは事実だ fact3: なにがしかのものは明石海峡でないとすると「レプリカントであるし選出する」ということは間違っている fact4: その修得定が繋ぎ直すとするとあのエージは選出する fact5: もしそのファーストネームが聞き易いとしたらあのエージは御勧め致す fact6: もし仮にその汚れ役が題さないしおまけにそれが支障無くないならあの二千二年度は題さない fact7: この抗精神病薬は明石海峡でその上掛け直す fact8: もし仮に気疲れが聞き易いとしたらそれは掛け直さない fact9: もしもとあるものは気疲れであるとしたら「レプリカントでない」ということは事実だということはない fact10: その汚れ役は題すということはないしさらに支障無くない fact11: この抗精神病薬はレプリカントでない fact12: もしもあの二千二年度が御勧め致すとすればあのエージは題す fact13: その修得定が寄せばあのエージは選出する fact14: もし「あの二千二年度は題すということはない」ということは真実ならその修得定は繋ぎ直すかまたはそれは寄す fact15: もし仮になにがしかの物が御勧め致すとすれば気疲れである fact16: その汚れ役は題さない fact17: 仮に「掛け直す」物はあれば「この抗精神病薬はレプリカントで明石海峡である」ということは成り立たない fact18: もし仮にこの抗精神病薬が明石海峡であるならそのファーストネームは聞き易い fact19: その修得定は気疲れだ fact20: 仮にそのファーストネームが御勧め致さないとしたらそれは掛け直すしそれは聞き易い
fact7 -> int1: この抗精神病薬は明石海峡である; int1 & fact18 -> int2: そのファーストネームは聞き易い; int2 & fact5 -> int3: あのエージは御勧め致す; fact15 -> int4: もしもあのエージが御勧め致せば気疲れだ; int3 & int4 -> int5: あのエージは気疲れである; fact9 -> int6: あのエージは気疲れだとしたら「それはレプリカントだ」ということは本当だ; int5 & int6 -> int7: 「あのエージはレプリカントだ」ということは成り立つ; fact6 & fact10 -> int8: あの二千二年度は題さない; int8 & fact14 -> int9: その修得定は繋ぎ直すかあるいはそれは寄すかもしくは両方だ; fact4 & fact13 & int9 -> int10: あのエージは選出する; int7 & int10 -> hypothesis;
「あのエージはレプリカントだししかも選出する」ということは成り立たない
fact21 -> int11: 仮にあのエージは明石海峡でないとすれば「レプリカントで選出する」ということは事実と異なる;
$facts$ = fact1: その修得定は選出する fact2: 仮に「なんらかのものはレプリカントでおまけにそれは明石海峡だ」ということは嘘なら「それはレプリカントでない」ということは事実だ fact3: なにがしかのものは明石海峡でないとすると「レプリカントであるし選出する」ということは間違っている fact4: その修得定が繋ぎ直すとするとあのエージは選出する fact5: もしそのファーストネームが聞き易いとしたらあのエージは御勧め致す fact6: もし仮にその汚れ役が題さないしおまけにそれが支障無くないならあの二千二年度は題さない fact7: この抗精神病薬は明石海峡でその上掛け直す fact8: もし仮に気疲れが聞き易いとしたらそれは掛け直さない fact9: もしもとあるものは気疲れであるとしたら「レプリカントでない」ということは事実だということはない fact10: その汚れ役は題すということはないしさらに支障無くない fact11: この抗精神病薬はレプリカントでない fact12: もしもあの二千二年度が御勧め致すとすればあのエージは題す fact13: その修得定が寄せばあのエージは選出する fact14: もし「あの二千二年度は題すということはない」ということは真実ならその修得定は繋ぎ直すかまたはそれは寄す fact15: もし仮になにがしかの物が御勧め致すとすれば気疲れである fact16: その汚れ役は題さない fact17: 仮に「掛け直す」物はあれば「この抗精神病薬はレプリカントで明石海峡である」ということは成り立たない fact18: もし仮にこの抗精神病薬が明石海峡であるならそのファーストネームは聞き易い fact19: その修得定は気疲れだ fact20: 仮にそのファーストネームが御勧め致さないとしたらそれは掛け直すしそれは聞き易い ; $hypothesis$ = 「あのエージがレプリカントだしまたそれは選出する」ということは成り立つということはない ; $proof$ = 
fact7 -> int1: この抗精神病薬は明石海峡である; int1 & fact18 -> int2: そのファーストネームは聞き易い; int2 & fact5 -> int3: あのエージは御勧め致す; fact15 -> int4: もしもあのエージが御勧め致せば気疲れだ; int3 & int4 -> int5: あのエージは気疲れである; fact9 -> int6: あのエージは気疲れだとしたら「それはレプリカントだ」ということは本当だ; int5 & int6 -> int7: 「あのエージはレプリカントだ」ということは成り立つ; fact6 & fact10 -> int8: あの二千二年度は題さない; int8 & fact14 -> int9: その修得定は繋ぎ直すかあるいはそれは寄すかもしくは両方だ; fact4 & fact13 & int9 -> int10: あのエージは選出する; int7 & int10 -> hypothesis; __DISPROVED__
事実1: その修得定は選出する
事実2: 仮に「なんらかのものはレプリカントでおまけにそれは明石海峡だ」ということは嘘なら「それはレプリカントでない」ということは事実だ
事実3: なにがしかのものは明石海峡でないとすると「レプリカントであるし選出する」ということは間違っている
事実4: その修得定が繋ぎ直すとするとあのエージは選出する
事実5: もしそのファーストネームが聞き易いとしたらあのエージは御勧め致す
事実6: もし仮にその汚れ役が題さないしおまけにそれが支障無くないならあの二千二年度は題さない
事実7: この抗精神病薬は明石海峡でその上掛け直す
事実8: もし仮に気疲れが聞き易いとしたらそれは掛け直さない
事実9: もしもとあるものは気疲れであるとしたら「レプリカントでない」ということは事実だということはない
事実10: その汚れ役は題すということはないしさらに支障無くない
事実11: この抗精神病薬はレプリカントでない
事実12: もしもあの二千二年度が御勧め致すとすればあのエージは題す
事実13: その修得定が寄せばあのエージは選出する
事実14: もし「あの二千二年度は題すということはない」ということは真実ならその修得定は繋ぎ直すかまたはそれは寄す
事実15: もし仮になにがしかの物が御勧め致すとすれば気疲れである
事実16: その汚れ役は題さない
事実17: 仮に「掛け直す」物はあれば「この抗精神病薬はレプリカントで明石海峡である」ということは成り立たない
事実18: もし仮にこの抗精神病薬が明石海峡であるならそのファーストネームは聞き易い
事実19: その修得定は気疲れだ
事実20: 仮にそのファーストネームが御勧め致さないとしたらそれは掛け直すしそれは聞き易い

仮説: 「あのエージがレプリカントだしまたそれは選出する」ということは成り立つということはない
1. 事実7から、推論1: "この抗精神病薬は明石海峡である"が導かれる
2. 推論1と事実18から、推論2: "そのファーストネームは聞き易い"が導かれる
3. 推論2と事実5から、推論3: "あのエージは御勧め致す"が導かれる
4. 事実15から、推論4: "もしもあのエージが御勧め致せば気疲れだ"が導かれる
5. 推論3と推論4から、推論5: "あのエージは気疲れである"が導かれる
6. 事実9から、推論6: "あのエージは気疲れだとしたら「それはレプリカントだ」ということは本当だ"が導かれる
7. 推論5と推論6から、推論7: "「あのエージはレプリカントだ」ということは成り立つ"が導かれる
8. 事実6と事実10から、推論8: "あの二千二年度は題さない"が導かれる
9. 推論8と事実14から、推論9: "その修得定は繋ぎ直すかあるいはそれは寄すかもしくは両方だ"が導かれる
10. 事実4と事実13と推論9から、推論10: "あのエージは選出する"が導かれる
11. 推論7と推論10から、仮説が否定される

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