そのＣＯＳミーは石炭でない
fact1: もし仮にこの指導教官が忍ぶけど何科だということはないとするとあのポートフィルタリング機能は忍ばない fact2: 仮に「この指導教官が石炭だし忌まわしい」ということは偽であるならばあのＣＯＳミーは薄ら寒くない fact3: もしこの指導教官が何科ならそのＣＯＳミーは石炭である一方で忍ばない fact4: 「仮になにがしかのものはクニクリだとすると「それは癌浸潤でないし打ち入らない」ということは偽だ」ということは成り立つ fact5: もしこの指導教官が忌まわしくないとするとそのＣＯＳミーは石炭でない fact6: もしもこの物権性が何科だとするとこの指導教官は何科である fact7: その飾り馬は水揚げするということはない fact8: 「この指導教官は忌まわしくておまけに薄ら寒い」ということは誤っている fact9: 「この指導教官は石炭であるし更に薄ら寒い」ということは事実でない fact10: もしもなんらかの物は忍ばないとしたら「著増するし加えて薄ら寒い」ということは真実でない fact11: もし仮に「その飾り馬は癌浸潤だということはなくて打ち入らない」ということは成り立たないとしたらその才知は打ち入る fact12: そのＣＯＳミーは忌まわしくない fact13: 「そのＣＯＳミーは石炭でそれにそれは薄ら寒い」ということは誤りだ fact14: 「「この指導教官は忌まわしいしそれは薄ら寒い」ということは嘘であるとしたらそのＣＯＳミーは石炭でない」ということは真実である fact15: 仮にその飾り馬が水揚げしないなら意地悪いしクニクリだ fact16: 仮になんらかの物が石炭だということはないとすれば忍ぶし加えてそれは何科だということはない
fact14 & fact8 -> hypothesis;
「あのポートフィルタリング機能は著増するしかつ薄ら寒い」ということは誤っている
fact17 -> int1: あのポートフィルタリング機能は忍ばないとすると「著増するし薄ら寒い」ということは成り立たない; fact18 -> int2: もしこの指導教官が石炭でないとすれば忍ぶしかつそれは何科でない;
$facts$ = fact1: もし仮にこの指導教官が忍ぶけど何科だということはないとするとあのポートフィルタリング機能は忍ばない fact2: 仮に「この指導教官が石炭だし忌まわしい」ということは偽であるならばあのＣＯＳミーは薄ら寒くない fact3: もしこの指導教官が何科ならそのＣＯＳミーは石炭である一方で忍ばない fact4: 「仮になにがしかのものはクニクリだとすると「それは癌浸潤でないし打ち入らない」ということは偽だ」ということは成り立つ fact5: もしこの指導教官が忌まわしくないとするとそのＣＯＳミーは石炭でない fact6: もしもこの物権性が何科だとするとこの指導教官は何科である fact7: その飾り馬は水揚げするということはない fact8: 「この指導教官は忌まわしくておまけに薄ら寒い」ということは誤っている fact9: 「この指導教官は石炭であるし更に薄ら寒い」ということは事実でない fact10: もしもなんらかの物は忍ばないとしたら「著増するし加えて薄ら寒い」ということは真実でない fact11: もし仮に「その飾り馬は癌浸潤だということはなくて打ち入らない」ということは成り立たないとしたらその才知は打ち入る fact12: そのＣＯＳミーは忌まわしくない fact13: 「そのＣＯＳミーは石炭でそれにそれは薄ら寒い」ということは誤りだ fact14: 「「この指導教官は忌まわしいしそれは薄ら寒い」ということは嘘であるとしたらそのＣＯＳミーは石炭でない」ということは真実である fact15: 仮にその飾り馬が水揚げしないなら意地悪いしクニクリだ fact16: 仮になんらかの物が石炭だということはないとすれば忍ぶし加えてそれは何科だということはない ; $hypothesis$ = そのＣＯＳミーは石炭でない ; $proof$ = 
fact14 & fact8 -> hypothesis; __PROVED__
事実1: もし仮にこの指導教官が忍ぶけど何科だということはないとするとあのポートフィルタリング機能は忍ばない
事実2: 仮に「この指導教官が石炭だし忌まわしい」ということは偽であるならばあのＣＯＳミーは薄ら寒くない
事実3: もしこの指導教官が何科ならそのＣＯＳミーは石炭である一方で忍ばない
事実4: 「仮になにがしかのものはクニクリだとすると「それは癌浸潤でないし打ち入らない」ということは偽だ」ということは成り立つ
事実5: もしこの指導教官が忌まわしくないとするとそのＣＯＳミーは石炭でない
事実6: もしもこの物権性が何科だとするとこの指導教官は何科である
事実7: その飾り馬は水揚げするということはない
事実8: 「この指導教官は忌まわしくておまけに薄ら寒い」ということは誤っている
事実9: 「この指導教官は石炭であるし更に薄ら寒い」ということは事実でない
事実10: もしもなんらかの物は忍ばないとしたら「著増するし加えて薄ら寒い」ということは真実でない
事実11: もし仮に「その飾り馬は癌浸潤だということはなくて打ち入らない」ということは成り立たないとしたらその才知は打ち入る
事実12: そのＣＯＳミーは忌まわしくない
事実13: 「そのＣＯＳミーは石炭でそれにそれは薄ら寒い」ということは誤りだ
事実14: 「「この指導教官は忌まわしいしそれは薄ら寒い」ということは嘘であるとしたらそのＣＯＳミーは石炭でない」ということは真実である
事実15: 仮にその飾り馬が水揚げしないなら意地悪いしクニクリだ
事実16: 仮になんらかの物が石炭だということはないとすれば忍ぶし加えてそれは何科だということはない

仮説: そのＣＯＳミーは石炭でない
1. 事実14と事実8から、仮説が導かれる

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