「「割れ難いということはないけど連合王国常任代表である」ということは間違いである」ものはある
fact1: 仮になにがしかの物が悪戯するけどそれが嫌らしくないとすればそれはバーサークだということはない fact2: 「「フォンだし加えてＴＯＢである」ということは事実でない」ものはある fact3: もしもとある物は由々しいとすれば「それは割れ難いということはないが連合王国常任代表だ」ということは成り立たない fact4: この信奉は気持ち良い fact5: この開基はバーサークである fact6: もしあの犯罪行為が望ましかないならその反応機構は反射し合うけれど由々しいということはない fact7: 「「この風除けは割れ難くて連合王国常任代表だ」ということは間違いだ」ということは成り立つ fact8: 「利用し易い」物はあるなら「この付き合い方は利用し易くないし軟らかくない」ということは誤りだ fact9: もし仮にこの信奉は気持ち良いならば「冷め易い」ということは本当である fact10: 使用許諾契約は悪戯する一方で嫌らしくない fact11: 仮にこの信奉が分厚くないならその再構成は聡くておまけに利用し易い fact12: この風除けは反射し合うし由々しい fact13: もし「この付き合い方は利用し易いということはないし軟らかくない」ということは誤りだとしたらあの犯罪行為は望ましかない fact14: もし仮にこの信奉が暑いけどみっとも可愛くないとすればそれは使用許諾契約だ fact15: 冷め易い物は暑いけどみっとも可愛いということはない fact16: もしとある物が小煩いかもしくは歌えるとすれば分厚くない fact17: もし仮にこの信奉がバーサークでないとすればそれは小煩いかもしくは歌える fact18: その左内は底堅くて三十秒以内だ
fact3 -> int1: もし仮にこの風除けは由々しいならば「それは割れ難くなくてまた連合王国常任代表だ」ということは偽である; fact12 -> int2: この風除けは由々しい; int1 & int2 -> int3: 「「この風除けは割れ難いということはないけれど連合王国常任代表だ」ということは本当である」ということは成り立たない; int3 -> hypothesis;
その反応機構は反射し合う
fact22 -> int4: もし仮にこの信奉は小煩いか歌えるか両方であるなら分厚くない; fact20 -> int5: もしもこの信奉は悪戯するけれど嫌らしくないとすればそれはバーサークでない; fact19 -> int6: もし仮に「この信奉は使用許諾契約でない」ということは成り立たないならば悪戯するがしかし嫌らしいということはない; fact25 -> int7: もしもこの信奉が冷め易いとすれば暑いがしかしみっとも可愛くない; fact28 & fact26 -> int8: この信奉は冷め易い; int7 & int8 -> int9: この信奉は暑いけれどみっとも可愛いということはない; fact24 & int9 -> int10: この信奉は使用許諾契約である; int6 & int10 -> int11: この信奉は悪戯するがしかし嫌らしくない; int5 & int11 -> int12: この信奉はバーサークでない; fact23 & int12 -> int13: この信奉は小煩いかまたはそれは歌えるかもしくは両方である; int4 & int13 -> int14: 「この信奉は分厚くない」ということは成り立つ; fact30 & int14 -> int15: その再構成は聡いしおまけに利用し易い; int15 -> int16: その再構成は利用し易い; int16 -> int17: なにかは利用し易い; int17 & fact27 -> int18: 「この付き合い方は利用し易くないし軟らかいということはない」ということは嘘である; fact29 & int18 -> int19: あの犯罪行為は望ましかない; fact21 & int19 -> int20: その反応機構は反射し合う一方で由々しくない; int20 -> hypothesis;
$facts$ = fact1: 仮になにがしかの物が悪戯するけどそれが嫌らしくないとすればそれはバーサークだということはない fact2: 「「フォンだし加えてＴＯＢである」ということは事実でない」ものはある fact3: もしもとある物は由々しいとすれば「それは割れ難いということはないが連合王国常任代表だ」ということは成り立たない fact4: この信奉は気持ち良い fact5: この開基はバーサークである fact6: もしあの犯罪行為が望ましかないならその反応機構は反射し合うけれど由々しいということはない fact7: 「「この風除けは割れ難くて連合王国常任代表だ」ということは間違いだ」ということは成り立つ fact8: 「利用し易い」物はあるなら「この付き合い方は利用し易くないし軟らかくない」ということは誤りだ fact9: もし仮にこの信奉は気持ち良いならば「冷め易い」ということは本当である fact10: 使用許諾契約は悪戯する一方で嫌らしくない fact11: 仮にこの信奉が分厚くないならその再構成は聡くておまけに利用し易い fact12: この風除けは反射し合うし由々しい fact13: もし「この付き合い方は利用し易いということはないし軟らかくない」ということは誤りだとしたらあの犯罪行為は望ましかない fact14: もし仮にこの信奉が暑いけどみっとも可愛くないとすればそれは使用許諾契約だ fact15: 冷め易い物は暑いけどみっとも可愛いということはない fact16: もしとある物が小煩いかもしくは歌えるとすれば分厚くない fact17: もし仮にこの信奉がバーサークでないとすればそれは小煩いかもしくは歌える fact18: その左内は底堅くて三十秒以内だ ; $hypothesis$ = 「「割れ難いということはないけど連合王国常任代表である」ということは間違いである」ものはある ; $proof$ = 
fact3 -> int1: もし仮にこの風除けは由々しいならば「それは割れ難くなくてまた連合王国常任代表だ」ということは偽である; fact12 -> int2: この風除けは由々しい; int1 & int2 -> int3: 「「この風除けは割れ難いということはないけれど連合王国常任代表だ」ということは本当である」ということは成り立たない; int3 -> hypothesis; __PROVED__
事実1: 仮になにがしかの物が悪戯するけどそれが嫌らしくないとすればそれはバーサークだということはない
事実2: 「「フォンだし加えてＴＯＢである」ということは事実でない」ものはある
事実3: もしもとある物は由々しいとすれば「それは割れ難いということはないが連合王国常任代表だ」ということは成り立たない
事実4: この信奉は気持ち良い
事実5: この開基はバーサークである
事実6: もしあの犯罪行為が望ましかないならその反応機構は反射し合うけれど由々しいということはない
事実7: 「「この風除けは割れ難くて連合王国常任代表だ」ということは間違いだ」ということは成り立つ
事実8: 「利用し易い」物はあるなら「この付き合い方は利用し易くないし軟らかくない」ということは誤りだ
事実9: もし仮にこの信奉は気持ち良いならば「冷め易い」ということは本当である
事実10: 使用許諾契約は悪戯する一方で嫌らしくない
事実11: 仮にこの信奉が分厚くないならその再構成は聡くておまけに利用し易い
事実12: この風除けは反射し合うし由々しい
事実13: もし「この付き合い方は利用し易いということはないし軟らかくない」ということは誤りだとしたらあの犯罪行為は望ましかない
事実14: もし仮にこの信奉が暑いけどみっとも可愛くないとすればそれは使用許諾契約だ
事実15: 冷め易い物は暑いけどみっとも可愛いということはない
事実16: もしとある物が小煩いかもしくは歌えるとすれば分厚くない
事実17: もし仮にこの信奉がバーサークでないとすればそれは小煩いかもしくは歌える
事実18: その左内は底堅くて三十秒以内だ

仮説: 「「割れ難いということはないけど連合王国常任代表である」ということは間違いである」ものはある
1. 事実3から、推論1: "もし仮にこの風除けは由々しいならば「それは割れ難くなくてまた連合王国常任代表だ」ということは偽である"が導かれる
2. 事実12から、推論2: "この風除けは由々しい"が導かれる
3. 推論1と推論2から、推論3: "「「この風除けは割れ難いということはないけれど連合王国常任代表だ」ということは本当である」ということは成り立たない"が導かれる
4. 推論3から、仮説が導かれる

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