その主題格子はネクストボタンだ
fact1: その主題格子が免責決定でないかそれが御安心下さるかもしくは両方だとするとそのインフォは外し易くない fact2: その主題格子は蟄居する fact3: この総社員は蟄居する fact4: もしもその主題格子が平たいとしたらそれは御安心下さる fact5: もしもあるものは免責決定でないとしたらそれは平たいということはないけれど御安心下さる fact6: もしもその主題格子が免責決定でないとすればあのインフォは外し易いということはない fact7: そのインフォはキャッチ出来る fact8: もし仮になんらかのものは蟄居するししかも人懐こいとしたら「それはネクストボタンでない」ということは真実である fact9: その主題格子は免責決定であるかまたは御安心下さるかもしくは両方ともだ fact10: もし「その主題格子は免責決定でない一方でそれは外し易い」ということは嘘であるとしたら「そのインフォは御安心下さらない」ということは真実である fact11: そのインフォはキャッチ出来るしかつそれは外し易い fact12: 仮になんらかのものは平たくないならば「それは人懐こい」ということは誤っているということはない fact13: その主題格子が御安心下さるとすればキャッチ出来る
void -> assump1: 以下のように仮定する。その主題格子は平たい; fact4 & assump1 -> int1: その主題格子は御安心下さる; int1 -> int2: その主題格子は免責決定だということはないかまたは御安心下さるかもしくは両方だ; int2 & fact1 -> int3: そのインフォは外し易くない; fact11 -> int4: そのインフォは外し易い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その主題格子は平たいということはない; fact12 -> int7: その主題格子は平たくないなら「人懐こい」ということは真実である; int6 & int7 -> int8: その主題格子は人懐こい; int8 & fact2 -> int9: その主題格子は蟄居するしかつ人懐こい; fact8 -> int10: 仮にその主題格子が蟄居するしその上人懐こいとするとネクストボタンでない; int9 & int10 -> hypothesis;
その主題格子はネクストボタンである
fact14 -> int11: もしそのインフォが免責決定だということはないとするとそれは平たくないがしかし御安心下さる;
$facts$ = fact1: その主題格子が免責決定でないかそれが御安心下さるかもしくは両方だとするとそのインフォは外し易くない fact2: その主題格子は蟄居する fact3: この総社員は蟄居する fact4: もしもその主題格子が平たいとしたらそれは御安心下さる fact5: もしもあるものは免責決定でないとしたらそれは平たいということはないけれど御安心下さる fact6: もしもその主題格子が免責決定でないとすればあのインフォは外し易いということはない fact7: そのインフォはキャッチ出来る fact8: もし仮になんらかのものは蟄居するししかも人懐こいとしたら「それはネクストボタンでない」ということは真実である fact9: その主題格子は免責決定であるかまたは御安心下さるかもしくは両方ともだ fact10: もし「その主題格子は免責決定でない一方でそれは外し易い」ということは嘘であるとしたら「そのインフォは御安心下さらない」ということは真実である fact11: そのインフォはキャッチ出来るしかつそれは外し易い fact12: 仮になんらかのものは平たくないならば「それは人懐こい」ということは誤っているということはない fact13: その主題格子が御安心下さるとすればキャッチ出来る ; $hypothesis$ = その主題格子はネクストボタンだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その主題格子は平たい; fact4 & assump1 -> int1: その主題格子は御安心下さる; int1 -> int2: その主題格子は免責決定だということはないかまたは御安心下さるかもしくは両方だ; int2 & fact1 -> int3: そのインフォは外し易くない; fact11 -> int4: そのインフォは外し易い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その主題格子は平たいということはない; fact12 -> int7: その主題格子は平たくないなら「人懐こい」ということは真実である; int6 & int7 -> int8: その主題格子は人懐こい; int8 & fact2 -> int9: その主題格子は蟄居するしかつ人懐こい; fact8 -> int10: 仮にその主題格子が蟄居するしその上人懐こいとするとネクストボタンでない; int9 & int10 -> hypothesis; __DISPROVED__
事実1: その主題格子が免責決定でないかそれが御安心下さるかもしくは両方だとするとそのインフォは外し易くない
事実2: その主題格子は蟄居する
事実3: この総社員は蟄居する
事実4: もしもその主題格子が平たいとしたらそれは御安心下さる
事実5: もしもあるものは免責決定でないとしたらそれは平たいということはないけれど御安心下さる
事実6: もしもその主題格子が免責決定でないとすればあのインフォは外し易いということはない
事実7: そのインフォはキャッチ出来る
事実8: もし仮になんらかのものは蟄居するししかも人懐こいとしたら「それはネクストボタンでない」ということは真実である
事実9: その主題格子は免責決定であるかまたは御安心下さるかもしくは両方ともだ
事実10: もし「その主題格子は免責決定でない一方でそれは外し易い」ということは嘘であるとしたら「そのインフォは御安心下さらない」ということは真実である
事実11: そのインフォはキャッチ出来るしかつそれは外し易い
事実12: 仮になんらかのものは平たくないならば「それは人懐こい」ということは誤っているということはない
事実13: その主題格子が御安心下さるとすればキャッチ出来る

仮説: その主題格子はネクストボタンだ
1. 仮定1: 以下のように仮定する。その主題格子は平たい
2. 事実4と仮定1から、推論1: "その主題格子は御安心下さる"が導かれる
3. 推論1から、推論2: "その主題格子は免責決定だということはないかまたは御安心下さるかもしくは両方だ"が導かれる
4. 推論2と事実1から、推論3: "そのインフォは外し易くない"が導かれる
5. 事実11から、推論4: "そのインフォは外し易い"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その主題格子は平たいということはない"が導かれる
8. 事実12から、推論7: "その主題格子は平たくないなら「人懐こい」ということは真実である"が導かれる
9. 推論6と推論7から、推論8: "その主題格子は人懐こい"が導かれる
10. 推論8と事実2から、推論9: "その主題格子は蟄居するしかつ人懐こい"が導かれる
11. 事実8から、推論10: "仮にその主題格子が蟄居するしその上人懐こいとするとネクストボタンでない"が導かれる
12. 推論9と推論10から、仮説が否定される

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