その警備隊長は海人達でないしかつそれは五・一五事件でない
fact1: このＩＢＪは手際良い fact2: あの言語活動は埃っぽいということはなくて複座機でない fact3: 何かは手際良いということはないなら「それは海人達でなくて五・一五事件でない」ということは間違っている fact4: 手際良いし信じ易いものは五・一五事件でない fact5: なんらかのものは必要であるとすれば信じ易い fact6: このＩＢＪは乗り捨てる fact7: もしも手際良いものは乗り捨てるとしたら「それは信じ易いということはない」ということは成り立つ fact8: その警備隊長は海人達でなくて更に信じ易くない fact9: このＩＢＪは海人達である fact10: この開け鼻声はゼムストボでまた海人達だ fact11: あのＡＬＳは乗り捨てる fact12: そのデザインゲームは五・一五事件である fact13: もし仮にこのＩＢＪが信じ易いということはないとすればその警備隊長は海人達でない fact14: もしこのＩＢＪが海人達でないとしたらその警備隊長は乗り捨てなくて更に信じ易くない fact15: このＩＢＪは興味深くない fact16: もしもこのＩＢＪが五・一五事件でないならばその警備隊長は海人達でなくて乗り捨てない fact17: その警備隊長は海人達でない fact18: このＩＢＪが信じ易いとしたらその警備隊長は手際良くなくてそれにそれは乗り捨てない fact19: もし「とある物は必要でないけれど値下げ前である」ということは嘘であるとしたら必要である fact20: 「その警備隊長は信じ易いということはないしおまけに海人達でない」ということは成り立つ fact21: もし仮にこのＩＢＪが信じ易いということはないとしたらその警備隊長は海人達でないし五・一五事件でない
fact1 & fact6 -> int1: このＩＢＪは手際良くてそれは乗り捨てる; fact7 -> int2: このＩＢＪは手際良いし乗り捨てればそれは信じ易いということはない; int1 & int2 -> int3: このＩＢＪは信じ易くない; int3 & fact21 -> hypothesis;
「その警備隊長は海人達であるということはなくて五・一五事件でない」ということは誤りである
fact23 -> int4: 仮にその警備隊長は手際良いということはないならば「それは海人達だということはないし加えて五・一五事件であるということはない」ということは嘘である; fact25 -> int5: もしこのＩＢＪが必要ならそれは信じ易い; fact22 -> int6: もし「このＩＢＪは必要であるということはないが値下げ前だ」ということは成り立たないなら必要である;
$facts$ = fact1: このＩＢＪは手際良い fact2: あの言語活動は埃っぽいということはなくて複座機でない fact3: 何かは手際良いということはないなら「それは海人達でなくて五・一五事件でない」ということは間違っている fact4: 手際良いし信じ易いものは五・一五事件でない fact5: なんらかのものは必要であるとすれば信じ易い fact6: このＩＢＪは乗り捨てる fact7: もしも手際良いものは乗り捨てるとしたら「それは信じ易いということはない」ということは成り立つ fact8: その警備隊長は海人達でなくて更に信じ易くない fact9: このＩＢＪは海人達である fact10: この開け鼻声はゼムストボでまた海人達だ fact11: あのＡＬＳは乗り捨てる fact12: そのデザインゲームは五・一五事件である fact13: もし仮にこのＩＢＪが信じ易いということはないとすればその警備隊長は海人達でない fact14: もしこのＩＢＪが海人達でないとしたらその警備隊長は乗り捨てなくて更に信じ易くない fact15: このＩＢＪは興味深くない fact16: もしもこのＩＢＪが五・一五事件でないならばその警備隊長は海人達でなくて乗り捨てない fact17: その警備隊長は海人達でない fact18: このＩＢＪが信じ易いとしたらその警備隊長は手際良くなくてそれにそれは乗り捨てない fact19: もし「とある物は必要でないけれど値下げ前である」ということは嘘であるとしたら必要である fact20: 「その警備隊長は信じ易いということはないしおまけに海人達でない」ということは成り立つ fact21: もし仮にこのＩＢＪが信じ易いということはないとしたらその警備隊長は海人達でないし五・一五事件でない ; $hypothesis$ = その警備隊長は海人達でないしかつそれは五・一五事件でない ; $proof$ = 
fact1 & fact6 -> int1: このＩＢＪは手際良くてそれは乗り捨てる; fact7 -> int2: このＩＢＪは手際良いし乗り捨てればそれは信じ易いということはない; int1 & int2 -> int3: このＩＢＪは信じ易くない; int3 & fact21 -> hypothesis; __PROVED__
事実1: このＩＢＪは手際良い
事実2: あの言語活動は埃っぽいということはなくて複座機でない
事実3: 何かは手際良いということはないなら「それは海人達でなくて五・一五事件でない」ということは間違っている
事実4: 手際良いし信じ易いものは五・一五事件でない
事実5: なんらかのものは必要であるとすれば信じ易い
事実6: このＩＢＪは乗り捨てる
事実7: もしも手際良いものは乗り捨てるとしたら「それは信じ易いということはない」ということは成り立つ
事実8: その警備隊長は海人達でなくて更に信じ易くない
事実9: このＩＢＪは海人達である
事実10: この開け鼻声はゼムストボでまた海人達だ
事実11: あのＡＬＳは乗り捨てる
事実12: そのデザインゲームは五・一五事件である
事実13: もし仮にこのＩＢＪが信じ易いということはないとすればその警備隊長は海人達でない
事実14: もしこのＩＢＪが海人達でないとしたらその警備隊長は乗り捨てなくて更に信じ易くない
事実15: このＩＢＪは興味深くない
事実16: もしもこのＩＢＪが五・一五事件でないならばその警備隊長は海人達でなくて乗り捨てない
事実17: その警備隊長は海人達でない
事実18: このＩＢＪが信じ易いとしたらその警備隊長は手際良くなくてそれにそれは乗り捨てない
事実19: もし「とある物は必要でないけれど値下げ前である」ということは嘘であるとしたら必要である
事実20: 「その警備隊長は信じ易いということはないしおまけに海人達でない」ということは成り立つ
事実21: もし仮にこのＩＢＪが信じ易いということはないとしたらその警備隊長は海人達でないし五・一五事件でない

仮説: その警備隊長は海人達でないしかつそれは五・一五事件でない
1. 事実1と事実6から、推論1: "このＩＢＪは手際良くてそれは乗り捨てる"が導かれる
2. 事実7から、推論2: "このＩＢＪは手際良いし乗り捨てればそれは信じ易いということはない"が導かれる
3. 推論1と推論2から、推論3: "このＩＢＪは信じ易くない"が導かれる
4. 推論3と事実21から、仮説が導かれる

よって、仮説が証明されました。