あの名誉毀損は御ちびさんでない
fact1: もし仮に入れ物がパル蚊でないとすればあの癌告知は傷付き易くない fact2: もしあの癌告知は見覚えないとすれば「その小説教材は切れ込まなくて世捨て人でない」ということは誤りだ fact3: 何らかの物は傷付き易くないとしたら「それは見覚えるということはない」ということは事実である fact4: 仮にあの癌告知は昴であるなら「それは世捨て人である」ということは真実だ fact5: その小説教材は半角英数字だしかつでっかい fact6: もしもその小説教材が半角英数字であるとするとあの癌告知は昴だ fact7: もし何かは昴だとすれば「それは半角英数字だということはないがでっかい」ということは成り立たない fact8: あの名誉毀損は世捨て人である fact9: あの光堂は入れ物だがしかしパル蚊でない fact10: もし仮にあの癌告知が世捨て人であるか切れ込むか両方ともだとすると「あの名誉毀損は御ちびさんでない」ということは確かである fact11: もしも「何かは切れ込まないし世捨て人でない」ということは成り立たないとすればそれは昴である
fact5 -> int1: 「その小説教材は半角英数字である」ということは成り立つ; int1 & fact6 -> int2: あの癌告知は昴である; int2 & fact4 -> int3: あの癌告知は世捨て人だ; int3 -> int4: あの癌告知は世捨て人であるか切れ込むかあるいはどちらもだ; int4 & fact10 -> hypothesis;
あの名誉毀損は御ちびさんだ
fact16 -> int5: もしもその小説教材は昴であるとしたら「半角英数字でないがでっかい」ということは成り立たない; fact13 -> int6: 「その小説教材は切れ込まなくておまけにそれは世捨て人でない」ということは嘘だとすれば昴だ; fact15 -> int7: もしもあの癌告知が傷付き易いということはないならそれは見覚えない; fact17 -> int8: 「入れ物だがしかしパル蚊でない」物はある; int8 & fact14 -> int9: あの癌告知は傷付き易くない; int7 & int9 -> int10: あの癌告知は見覚えない; fact12 & int10 -> int11: 「その小説教材は切れ込まなくて世捨て人だということはない」ということは誤っている; int6 & int11 -> int12: その小説教材は昴である; int5 & int12 -> int13: 「その小説教材は半角英数字でない一方ででっかい」ということは成り立たない; int13 -> int14: 「「半角英数字でない一方ででっかい」ということは成り立たない」ものはある;
$facts$ = fact1: もし仮に入れ物がパル蚊でないとすればあの癌告知は傷付き易くない fact2: もしあの癌告知は見覚えないとすれば「その小説教材は切れ込まなくて世捨て人でない」ということは誤りだ fact3: 何らかの物は傷付き易くないとしたら「それは見覚えるということはない」ということは事実である fact4: 仮にあの癌告知は昴であるなら「それは世捨て人である」ということは真実だ fact5: その小説教材は半角英数字だしかつでっかい fact6: もしもその小説教材が半角英数字であるとするとあの癌告知は昴だ fact7: もし何かは昴だとすれば「それは半角英数字だということはないがでっかい」ということは成り立たない fact8: あの名誉毀損は世捨て人である fact9: あの光堂は入れ物だがしかしパル蚊でない fact10: もし仮にあの癌告知が世捨て人であるか切れ込むか両方ともだとすると「あの名誉毀損は御ちびさんでない」ということは確かである fact11: もしも「何かは切れ込まないし世捨て人でない」ということは成り立たないとすればそれは昴である ; $hypothesis$ = あの名誉毀損は御ちびさんでない ; $proof$ = 
fact5 -> int1: 「その小説教材は半角英数字である」ということは成り立つ; int1 & fact6 -> int2: あの癌告知は昴である; int2 & fact4 -> int3: あの癌告知は世捨て人だ; int3 -> int4: あの癌告知は世捨て人であるか切れ込むかあるいはどちらもだ; int4 & fact10 -> hypothesis; __PROVED__
事実1: もし仮に入れ物がパル蚊でないとすればあの癌告知は傷付き易くない
事実2: もしあの癌告知は見覚えないとすれば「その小説教材は切れ込まなくて世捨て人でない」ということは誤りだ
事実3: 何らかの物は傷付き易くないとしたら「それは見覚えるということはない」ということは事実である
事実4: 仮にあの癌告知は昴であるなら「それは世捨て人である」ということは真実だ
事実5: その小説教材は半角英数字だしかつでっかい
事実6: もしもその小説教材が半角英数字であるとするとあの癌告知は昴だ
事実7: もし何かは昴だとすれば「それは半角英数字だということはないがでっかい」ということは成り立たない
事実8: あの名誉毀損は世捨て人である
事実9: あの光堂は入れ物だがしかしパル蚊でない
事実10: もし仮にあの癌告知が世捨て人であるか切れ込むか両方ともだとすると「あの名誉毀損は御ちびさんでない」ということは確かである
事実11: もしも「何かは切れ込まないし世捨て人でない」ということは成り立たないとすればそれは昴である

仮説: あの名誉毀損は御ちびさんでない
1. 事実5から、推論1: "「その小説教材は半角英数字である」ということは成り立つ"が導かれる
2. 推論1と事実6から、推論2: "あの癌告知は昴である"が導かれる
3. 推論2と事実4から、推論3: "あの癌告知は世捨て人だ"が導かれる
4. 推論3から、推論4: "あの癌告知は世捨て人であるか切れ込むかあるいはどちらもだ"が導かれる
5. 推論4と事実10から、仮説が導かれる

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