この商品別は白黒しない
fact1: もし何らかのものが打ち消し合うということはないならそれは岡山県下でないしおまけに一触即発でない fact2: そのビッグＯ記法は四角い fact3: その雇用管理は四角いということはない fact4: 仮になにがしかの物が岡山県下であるということはないしかつそれは一触即発でないとすると物凄ーい fact5: もしそのビッグＯ記法が這い込むとすればこの商品別は物凄ーくない fact6: もし仮にこの活字本が微量栄養素でないけれどそれが日本小児外科学会指導医であるならあの近隣社会は打ち消し合わない fact7: もしも「あの近隣社会は一触即発でない」ということは本当だとしたら物凄ーいしおまけに岡山県下だ fact8: そのビッグＯ記法は汚らわしくない fact9: そのビッグＯ記法は這い込むししかも四角い fact10: もしも「この活字本は贈与する」ということは事実ならばそれは微量栄養素でないしそれは日本小児外科学会指導医である fact11: もし仮になにがしかのものが這い込めばそれは白黒する fact12: 仮にあの近隣社会は物凄ーいとすれば「そのビッグＯ記法は四角くないが這い込む」ということは成り立たない fact13: この商品別は這い込まない fact14: もし仮にそのビッグＯ記法が白黒するならばあの商品別は四角くない fact15: 仮に何かは物凄ーくないならそれは白黒しない fact16: もし仮になんらかの物は這い込むとしたら「「それは四角くないけれど白黒する」ということは確かだ」ということは偽である fact17: もし仮に「そのビッグＯ記法は岡山県下でないけど物凄ーい」ということは間違っているならあの就任式は物凄ーい fact18: もし仮に「あの近隣社会は打ち消し合うし一触即発である」ということは間違いならば一触即発でない
fact9 -> int1: そのビッグＯ記法は這い込む; int1 & fact5 -> int2: この商品別は物凄ーくない; fact15 -> int3: この商品別が物凄ーいということはないならそれは白黒しない; int2 & int3 -> hypothesis;
fact9 -> int1: {A}{a}; int1 & fact5 -> int2: ¬{C}{b}; fact15 -> int3: ¬{C}{b} -> ¬{D}{b}; int2 & int3 -> hypothesis;
この商品別は白黒する
fact20 -> int4: もしもこの商品別が這い込むならそれは白黒する; fact23 -> int5: あの近隣社会は岡山県下でなくてそれに一触即発でないとしたらそれは物凄ーい; fact19 -> int6: もしもあの近隣社会が打ち消し合わないとしたらそれは岡山県下でなくて一触即発でない;
$facts$ = fact1: もし何らかのものが打ち消し合うということはないならそれは岡山県下でないしおまけに一触即発でない fact2: そのビッグＯ記法は四角い fact3: その雇用管理は四角いということはない fact4: 仮になにがしかの物が岡山県下であるということはないしかつそれは一触即発でないとすると物凄ーい fact5: もしそのビッグＯ記法が這い込むとすればこの商品別は物凄ーくない fact6: もし仮にこの活字本が微量栄養素でないけれどそれが日本小児外科学会指導医であるならあの近隣社会は打ち消し合わない fact7: もしも「あの近隣社会は一触即発でない」ということは本当だとしたら物凄ーいしおまけに岡山県下だ fact8: そのビッグＯ記法は汚らわしくない fact9: そのビッグＯ記法は這い込むししかも四角い fact10: もしも「この活字本は贈与する」ということは事実ならばそれは微量栄養素でないしそれは日本小児外科学会指導医である fact11: もし仮になにがしかのものが這い込めばそれは白黒する fact12: 仮にあの近隣社会は物凄ーいとすれば「そのビッグＯ記法は四角くないが這い込む」ということは成り立たない fact13: この商品別は這い込まない fact14: もし仮にそのビッグＯ記法が白黒するならばあの商品別は四角くない fact15: 仮に何かは物凄ーくないならそれは白黒しない fact16: もし仮になんらかの物は這い込むとしたら「「それは四角くないけれど白黒する」ということは確かだ」ということは偽である fact17: もし仮に「そのビッグＯ記法は岡山県下でないけど物凄ーい」ということは間違っているならあの就任式は物凄ーい fact18: もし仮に「あの近隣社会は打ち消し合うし一触即発である」ということは間違いならば一触即発でない ; $hypothesis$ = この商品別は白黒しない ; $proof$ = 
fact9 -> int1: そのビッグＯ記法は這い込む; int1 & fact5 -> int2: この商品別は物凄ーくない; fact15 -> int3: この商品別が物凄ーいということはないならそれは白黒しない; int2 & int3 -> hypothesis; __PROVED__
事実1: もし何らかのものが打ち消し合うということはないならそれは岡山県下でないしおまけに一触即発でない
事実2: そのビッグＯ記法は四角い
事実3: その雇用管理は四角いということはない
事実4: 仮になにがしかの物が岡山県下であるということはないしかつそれは一触即発でないとすると物凄ーい
事実5: もしそのビッグＯ記法が這い込むとすればこの商品別は物凄ーくない
事実6: もし仮にこの活字本が微量栄養素でないけれどそれが日本小児外科学会指導医であるならあの近隣社会は打ち消し合わない
事実7: もしも「あの近隣社会は一触即発でない」ということは本当だとしたら物凄ーいしおまけに岡山県下だ
事実8: そのビッグＯ記法は汚らわしくない
事実9: そのビッグＯ記法は這い込むししかも四角い
事実10: もしも「この活字本は贈与する」ということは事実ならばそれは微量栄養素でないしそれは日本小児外科学会指導医である
事実11: もし仮になにがしかのものが這い込めばそれは白黒する
事実12: 仮にあの近隣社会は物凄ーいとすれば「そのビッグＯ記法は四角くないが這い込む」ということは成り立たない
事実13: この商品別は這い込まない
事実14: もし仮にそのビッグＯ記法が白黒するならばあの商品別は四角くない
事実15: 仮に何かは物凄ーくないならそれは白黒しない
事実16: もし仮になんらかの物は這い込むとしたら「「それは四角くないけれど白黒する」ということは確かだ」ということは偽である
事実17: もし仮に「そのビッグＯ記法は岡山県下でないけど物凄ーい」ということは間違っているならあの就任式は物凄ーい
事実18: もし仮に「あの近隣社会は打ち消し合うし一触即発である」ということは間違いならば一触即発でない

仮説: この商品別は白黒しない
1. 事実9から、推論1: "そのビッグＯ記法は這い込む"が導かれる
2. 推論1と事実5から、推論2: "この商品別は物凄ーくない"が導かれる
3. 事実15から、推論3: "この商品別が物凄ーいということはないならそれは白黒しない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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