この右規定は見詰まない
fact1: もし仮に怖ーくないものが見詰まないとするとこの右規定は戦争状態である fact2: ごっつかない物は見詰まない fact3: もしもとあるものが怖ーいということはなくてまたそれは応答しないとしたら「この右規定は見詰む」ということは偽でない fact4: もしもこの仕事関係が戦争状態だとしたら怖ーくない fact5: 「怖ーくないが応答する」物はある fact6: もし仮にこの仕事関係はごっつい一方で見詰むということはないとしたら「この右規定は見詰まない」ということは成り立つ fact7: この右規定は戦争状態だ fact8: 「この仕事関係は戦争状態だ」ということは本当だ fact9: なにがしかのものは盛行しないしそれに直せらない fact10: なんらかの物は応答しない fact11: もしこの右規定がすーごいかそれがこそばゆいかもしくは両方であるならばこの仕事関係はこそばゆいということはない fact12: もしこの仕事関係は戦争状態であるならそれは怖ーいということはなくておまけに応答しない fact13: 仮に何かは見詰まないとすればそれは応答するししかも戦争状態だ fact14: とある物は怖ーいがしかしそれは応答しない fact15: この仕事関係はこそばゆくないとしたらそのコーダはごっつかない fact16: この仕事関係は怖ーくない fact17: この仕事関係は見詰む fact18: もし仮にこの右規定が怖ーいならそれは見詰まなくてその上それは戦争状態でない fact19: 怖ーくないものはある
fact12 & fact8 -> int1: この仕事関係は怖ーくないしまた応答しない; int1 -> int2: 「とある物は怖ーくないしおまけに応答しない」ということは成り立つ; int2 & fact3 -> hypothesis;
fact12 & fact8 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 -> int2: (Ex): (¬{AA}x & ¬{AB}x); int2 & fact3 -> hypothesis;
そのコーダは応答する
fact21 -> int3: もし仮にそのコーダが見詰まないとすればそれは応答するししかも戦争状態である; fact23 -> int4: もし仮にそのコーダはごっつかないとすると見詰まない;
$facts$ = fact1: もし仮に怖ーくないものが見詰まないとするとこの右規定は戦争状態である fact2: ごっつかない物は見詰まない fact3: もしもとあるものが怖ーいということはなくてまたそれは応答しないとしたら「この右規定は見詰む」ということは偽でない fact4: もしもこの仕事関係が戦争状態だとしたら怖ーくない fact5: 「怖ーくないが応答する」物はある fact6: もし仮にこの仕事関係はごっつい一方で見詰むということはないとしたら「この右規定は見詰まない」ということは成り立つ fact7: この右規定は戦争状態だ fact8: 「この仕事関係は戦争状態だ」ということは本当だ fact9: なにがしかのものは盛行しないしそれに直せらない fact10: なんらかの物は応答しない fact11: もしこの右規定がすーごいかそれがこそばゆいかもしくは両方であるならばこの仕事関係はこそばゆいということはない fact12: もしこの仕事関係は戦争状態であるならそれは怖ーいということはなくておまけに応答しない fact13: 仮に何かは見詰まないとすればそれは応答するししかも戦争状態だ fact14: とある物は怖ーいがしかしそれは応答しない fact15: この仕事関係はこそばゆくないとしたらそのコーダはごっつかない fact16: この仕事関係は怖ーくない fact17: この仕事関係は見詰む fact18: もし仮にこの右規定が怖ーいならそれは見詰まなくてその上それは戦争状態でない fact19: 怖ーくないものはある ; $hypothesis$ = この右規定は見詰まない ; $proof$ = 
fact12 & fact8 -> int1: この仕事関係は怖ーくないしまた応答しない; int1 -> int2: 「とある物は怖ーくないしおまけに応答しない」ということは成り立つ; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮に怖ーくないものが見詰まないとするとこの右規定は戦争状態である
事実2: ごっつかない物は見詰まない
事実3: もしもとあるものが怖ーいということはなくてまたそれは応答しないとしたら「この右規定は見詰む」ということは偽でない
事実4: もしもこの仕事関係が戦争状態だとしたら怖ーくない
事実5: 「怖ーくないが応答する」物はある
事実6: もし仮にこの仕事関係はごっつい一方で見詰むということはないとしたら「この右規定は見詰まない」ということは成り立つ
事実7: この右規定は戦争状態だ
事実8: 「この仕事関係は戦争状態だ」ということは本当だ
事実9: なにがしかのものは盛行しないしそれに直せらない
事実10: なんらかの物は応答しない
事実11: もしこの右規定がすーごいかそれがこそばゆいかもしくは両方であるならばこの仕事関係はこそばゆいということはない
事実12: もしこの仕事関係は戦争状態であるならそれは怖ーいということはなくておまけに応答しない
事実13: 仮に何かは見詰まないとすればそれは応答するししかも戦争状態だ
事実14: とある物は怖ーいがしかしそれは応答しない
事実15: この仕事関係はこそばゆくないとしたらそのコーダはごっつかない
事実16: この仕事関係は怖ーくない
事実17: この仕事関係は見詰む
事実18: もし仮にこの右規定が怖ーいならそれは見詰まなくてその上それは戦争状態でない
事実19: 怖ーくないものはある

仮説: この右規定は見詰まない
1. 事実12と事実8から、推論1: "この仕事関係は怖ーくないしまた応答しない"が導かれる
2. 推論1から、推論2: "「とある物は怖ーくないしおまけに応答しない」ということは成り立つ"が導かれる
3. 推論2と事実3から、仮説が否定される

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