この環境影響コストは国連機関である
fact1: もし「何かは電磁波スモッグ発生源でないが気道分泌物である」ということは間違いだとすればそれはくりくりしない fact2: もし仮にその御二いちゃんが収益計上するということはないとしたらそれは加え混ぜるということはない fact3: もし仮にその御二いちゃんが少人数授業でないとすればこの環境影響コストは収益計上するかあるいは加え混ぜないかもしくは両方である fact4: もし仮にその無自覚は侍さんであるならそれは東名であるかもしくは少人数授業でない fact5: 「その無自覚は少人数授業だ」ということは成り立つ fact6: もし仮に「その無自覚は加え混ぜるかもしくは少人数授業でない」ということは成り立たないならこの環境影響コストは国連機関である fact7: もしも「その無自覚は収益計上するかまたはそれは少人数授業だ」ということは成り立たないなら「その御二いちゃんは加え混ぜる」ということは正しい fact8: もし仮にこの中小企業基本法は水疱でないならば「その無自覚は電磁波スモッグ発生源でないがしかし気道分泌物だ」ということは誤っている fact9: 何らかのものがくりくりするということはないならばそれは侍さんだし更に蟄居する fact10: もし仮に「その無自覚は加え混ぜるかもしくは少人数授業である」ということは誤っているとするとこの環境影響コストは国連機関である fact11: もし仮にある物は収益計上すれば「それは国連機関であるということはない」ということは成り立つ fact12: 「その御二いちゃんは国連機関であるかまたは加え混ぜるということはないか両方ともだ」ということは成り立たないならばあの環境影響コストは収益計上する fact13: その無自覚は収益計上しない fact14: その御二いちゃんは収益計上しない fact15: 仮にこの環境影響コストが少人数授業でないとすればあの無自覚は国連機関である fact16: その無自覚は格子窓でない fact17: この環境影響コストは軽ーくない fact18: もし仮にその御二いちゃんは加え混ぜないならば「その無自覚は加え混ぜるかあるいは少人数授業でない」ということは確かでない fact19: もしもその御二いちゃんが加え混ぜないならばその無自覚は少人数授業だ fact20: 「その御二いちゃんは国連機関であるかあるいは少人数授業だ」ということは嘘であるならば「その無自覚は加え混ぜる」ということは真実である fact21: この中小企業基本法は水疱でない fact22: もし「東名であるかまたは少人数授業でないかあるいはどちらもな」物があるならばあの御二いちゃんは少人数授業でない
fact2 & fact14 -> int1: その御二いちゃんは加え混ぜるということはない; int1 & fact18 -> int2: 「その無自覚は加え混ぜるかまたは少人数授業でない」ということは嘘だ; int2 & fact6 -> hypothesis;
fact2 & fact14 -> int1: ¬{B}{a}; int1 & fact18 -> int2: ¬({B}{b} v ¬{D}{b}); int2 & fact6 -> hypothesis;
この環境影響コストは国連機関でない
fact28 -> int3: もしその無自覚がくりくりしないとすればそれは侍さんだし蟄居する; fact24 -> int4: もし仮に「その無自覚は電磁波スモッグ発生源でないけどそれは気道分泌物だ」ということは正しいということはないならそれはくりくりしない; fact25 & fact26 -> int5: 「その無自覚は電磁波スモッグ発生源だということはない一方でそれは気道分泌物だ」ということは本当でない; int4 & int5 -> int6: その無自覚はくりくりしない; int3 & int6 -> int7: その無自覚は侍さんであるし蟄居する; int7 -> int8: その無自覚は侍さんだ; fact27 & int8 -> int9: その無自覚は東名であるかそれは少人数授業だということはない; int9 -> int10: あるものは東名であるか少人数授業であるということはないかまたは両方ともだ; int10 & fact23 -> int11: その御二いちゃんは少人数授業でない; fact30 & int11 -> int12: この環境影響コストは収益計上するか加え混ぜないかあるいは両方だ; fact29 -> int13: この環境影響コストが収益計上するとしたらそれは国連機関でない;
$facts$ = fact1: もし「何かは電磁波スモッグ発生源でないが気道分泌物である」ということは間違いだとすればそれはくりくりしない fact2: もし仮にその御二いちゃんが収益計上するということはないとしたらそれは加え混ぜるということはない fact3: もし仮にその御二いちゃんが少人数授業でないとすればこの環境影響コストは収益計上するかあるいは加え混ぜないかもしくは両方である fact4: もし仮にその無自覚は侍さんであるならそれは東名であるかもしくは少人数授業でない fact5: 「その無自覚は少人数授業だ」ということは成り立つ fact6: もし仮に「その無自覚は加え混ぜるかもしくは少人数授業でない」ということは成り立たないならこの環境影響コストは国連機関である fact7: もしも「その無自覚は収益計上するかまたはそれは少人数授業だ」ということは成り立たないなら「その御二いちゃんは加え混ぜる」ということは正しい fact8: もし仮にこの中小企業基本法は水疱でないならば「その無自覚は電磁波スモッグ発生源でないがしかし気道分泌物だ」ということは誤っている fact9: 何らかのものがくりくりするということはないならばそれは侍さんだし更に蟄居する fact10: もし仮に「その無自覚は加え混ぜるかもしくは少人数授業である」ということは誤っているとするとこの環境影響コストは国連機関である fact11: もし仮にある物は収益計上すれば「それは国連機関であるということはない」ということは成り立つ fact12: 「その御二いちゃんは国連機関であるかまたは加え混ぜるということはないか両方ともだ」ということは成り立たないならばあの環境影響コストは収益計上する fact13: その無自覚は収益計上しない fact14: その御二いちゃんは収益計上しない fact15: 仮にこの環境影響コストが少人数授業でないとすればあの無自覚は国連機関である fact16: その無自覚は格子窓でない fact17: この環境影響コストは軽ーくない fact18: もし仮にその御二いちゃんは加え混ぜないならば「その無自覚は加え混ぜるかあるいは少人数授業でない」ということは確かでない fact19: もしもその御二いちゃんが加え混ぜないならばその無自覚は少人数授業だ fact20: 「その御二いちゃんは国連機関であるかあるいは少人数授業だ」ということは嘘であるならば「その無自覚は加え混ぜる」ということは真実である fact21: この中小企業基本法は水疱でない fact22: もし「東名であるかまたは少人数授業でないかあるいはどちらもな」物があるならばあの御二いちゃんは少人数授業でない ; $hypothesis$ = この環境影響コストは国連機関である ; $proof$ = 
fact2 & fact14 -> int1: その御二いちゃんは加え混ぜるということはない; int1 & fact18 -> int2: 「その無自覚は加え混ぜるかまたは少人数授業でない」ということは嘘だ; int2 & fact6 -> hypothesis; __PROVED__
事実1: もし「何かは電磁波スモッグ発生源でないが気道分泌物である」ということは間違いだとすればそれはくりくりしない
事実2: もし仮にその御二いちゃんが収益計上するということはないとしたらそれは加え混ぜるということはない
事実3: もし仮にその御二いちゃんが少人数授業でないとすればこの環境影響コストは収益計上するかあるいは加え混ぜないかもしくは両方である
事実4: もし仮にその無自覚は侍さんであるならそれは東名であるかもしくは少人数授業でない
事実5: 「その無自覚は少人数授業だ」ということは成り立つ
事実6: もし仮に「その無自覚は加え混ぜるかもしくは少人数授業でない」ということは成り立たないならこの環境影響コストは国連機関である
事実7: もしも「その無自覚は収益計上するかまたはそれは少人数授業だ」ということは成り立たないなら「その御二いちゃんは加え混ぜる」ということは正しい
事実8: もし仮にこの中小企業基本法は水疱でないならば「その無自覚は電磁波スモッグ発生源でないがしかし気道分泌物だ」ということは誤っている
事実9: 何らかのものがくりくりするということはないならばそれは侍さんだし更に蟄居する
事実10: もし仮に「その無自覚は加え混ぜるかもしくは少人数授業である」ということは誤っているとするとこの環境影響コストは国連機関である
事実11: もし仮にある物は収益計上すれば「それは国連機関であるということはない」ということは成り立つ
事実12: 「その御二いちゃんは国連機関であるかまたは加え混ぜるということはないか両方ともだ」ということは成り立たないならばあの環境影響コストは収益計上する
事実13: その無自覚は収益計上しない
事実14: その御二いちゃんは収益計上しない
事実15: 仮にこの環境影響コストが少人数授業でないとすればあの無自覚は国連機関である
事実16: その無自覚は格子窓でない
事実17: この環境影響コストは軽ーくない
事実18: もし仮にその御二いちゃんは加え混ぜないならば「その無自覚は加え混ぜるかあるいは少人数授業でない」ということは確かでない
事実19: もしもその御二いちゃんが加え混ぜないならばその無自覚は少人数授業だ
事実20: 「その御二いちゃんは国連機関であるかあるいは少人数授業だ」ということは嘘であるならば「その無自覚は加え混ぜる」ということは真実である
事実21: この中小企業基本法は水疱でない
事実22: もし「東名であるかまたは少人数授業でないかあるいはどちらもな」物があるならばあの御二いちゃんは少人数授業でない

仮説: この環境影響コストは国連機関である
1. 事実2と事実14から、推論1: "その御二いちゃんは加え混ぜるということはない"が導かれる
2. 推論1と事実18から、推論2: "「その無自覚は加え混ぜるかまたは少人数授業でない」ということは嘘だ"が導かれる
3. 推論2と事実6から、仮説が導かれる

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