このプロブレムは挿管しない
fact1: もしも何らかの物が各検討会でないとしたらそれは余命でないしそれに物珍しい fact2: あるものは清くない fact3: もし仮にこの伊達家は物珍しくないとすると「「あの二分化は多しけどそれは飛び回らない」ということは本当だ」ということは成り立つということはない fact4: 「アスファルト道路であるということはない」ものはある fact5: 仮に「清くない」物はあるとすれば「このプロブレムは清いがしかしそれは繁殖し易くない」ということは成り立たない fact6: 仮にあの神経細胞間が余命だということはないけれどそれが物珍しいならこの伊達家は物珍しいということはない fact7: 多しないものはカレッタ汐留である fact8: もし「ある物は清いけど繁殖し易くない」ということは成り立つということはないならそれは挿管する fact9: あの罪悪感が挿管しないかまたは敢え無いかあるいは両方だとすればこのプロブレムは挿管しない fact10: 「なにがしかのものは次項でなくてまたそれは黒っぽくない」ということは成り立たないならそれは各検討会でない fact11: もしも「あの二分化は多しがしかし飛び回らない」ということは嘘ならば「その新政府は多しということはない」ということは成り立つ
fact8 -> int1: 仮に「このプロブレムは清いけれど繁殖し易くない」ということは成り立たないとするとそれは挿管する; fact2 & fact5 -> int2: 「このプロブレムは清いけれど繁殖し易いということはない」ということは嘘である; int1 & int2 -> hypothesis;
fact8 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact2 & fact5 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
このプロブレムは挿管するということはない
fact17 -> int3: その新政府が多しないとすればそれはカレッタ汐留だ; fact16 -> int4: もしあの神経細胞間は各検討会でないならば余命でないけれど物珍しい; fact19 -> int5: 「あの神経細胞間は次項でなくてかつ黒っぽくない」ということは成り立たないならそれは各検討会だということはない;
$facts$ = fact1: もしも何らかの物が各検討会でないとしたらそれは余命でないしそれに物珍しい fact2: あるものは清くない fact3: もし仮にこの伊達家は物珍しくないとすると「「あの二分化は多しけどそれは飛び回らない」ということは本当だ」ということは成り立つということはない fact4: 「アスファルト道路であるということはない」ものはある fact5: 仮に「清くない」物はあるとすれば「このプロブレムは清いがしかしそれは繁殖し易くない」ということは成り立たない fact6: 仮にあの神経細胞間が余命だということはないけれどそれが物珍しいならこの伊達家は物珍しいということはない fact7: 多しないものはカレッタ汐留である fact8: もし「ある物は清いけど繁殖し易くない」ということは成り立つということはないならそれは挿管する fact9: あの罪悪感が挿管しないかまたは敢え無いかあるいは両方だとすればこのプロブレムは挿管しない fact10: 「なにがしかのものは次項でなくてまたそれは黒っぽくない」ということは成り立たないならそれは各検討会でない fact11: もしも「あの二分化は多しがしかし飛び回らない」ということは嘘ならば「その新政府は多しということはない」ということは成り立つ ; $hypothesis$ = このプロブレムは挿管しない ; $proof$ = 
fact8 -> int1: 仮に「このプロブレムは清いけれど繁殖し易くない」ということは成り立たないとするとそれは挿管する; fact2 & fact5 -> int2: 「このプロブレムは清いけれど繁殖し易いということはない」ということは嘘である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしも何らかの物が各検討会でないとしたらそれは余命でないしそれに物珍しい
事実2: あるものは清くない
事実3: もし仮にこの伊達家は物珍しくないとすると「「あの二分化は多しけどそれは飛び回らない」ということは本当だ」ということは成り立つということはない
事実4: 「アスファルト道路であるということはない」ものはある
事実5: 仮に「清くない」物はあるとすれば「このプロブレムは清いがしかしそれは繁殖し易くない」ということは成り立たない
事実6: 仮にあの神経細胞間が余命だということはないけれどそれが物珍しいならこの伊達家は物珍しいということはない
事実7: 多しないものはカレッタ汐留である
事実8: もし「ある物は清いけど繁殖し易くない」ということは成り立つということはないならそれは挿管する
事実9: あの罪悪感が挿管しないかまたは敢え無いかあるいは両方だとすればこのプロブレムは挿管しない
事実10: 「なにがしかのものは次項でなくてまたそれは黒っぽくない」ということは成り立たないならそれは各検討会でない
事実11: もしも「あの二分化は多しがしかし飛び回らない」ということは嘘ならば「その新政府は多しということはない」ということは成り立つ

仮説: このプロブレムは挿管しない
1. 事実8から、推論1: "仮に「このプロブレムは清いけれど繁殖し易くない」ということは成り立たないとするとそれは挿管する"が導かれる
2. 事実2と事実5から、推論2: "「このプロブレムは清いけれど繁殖し易いということはない」ということは嘘である"が導かれる
3. 推論1と推論2から、仮説が否定される

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