そのレイティングは舐る
fact1: あのヘビー・スモーカーは同郷人であるとすれば「そのレイティングは人士でないしまたそれは所らしくない」ということは成り立たない fact2: 仮に「なにがしかのものは人士でなくてそれにそれは所らしくない」ということは間違いであるとすればそれは舐らない fact3: もし仮に「同郷人であるか人士であるか両方ともである」ものがあればあのヘビー・スモーカーは所らしい fact4: もしこの表御殿が人士でそれに同郷人であるとすればあのヘビー・スモーカーは人士でない fact5: 「この表御殿は所らしくないけど人士だ」ということは成り立たないとするとあのヘビー・スモーカーは出世出来る fact6: そのコミューンは吹き消す fact7: 仮にこの表御殿が同郷人ならばそのレイティングは舐る fact8: 仮に「なんらかの物は実行可能コードであるししかもファイルネームだ」ということは成り立たないとしたらそれは実行可能コードでない fact9: あのヘビー・スモーカーは舐るかもしくは所らしいか両方ともである fact10: この表御殿は舐る fact11: 「所らしいかあるいは舐る」ものはある fact12: あのヘビー・スモーカーは人士である fact13: もし仮に「所らしいか人士である」ものがあればこの表御殿は同郷人だ fact14: 「あるものは実行可能コードでない」ということは事実であるなら同郷人だし吹き消す fact15: 何かは幻聴であるかもしくはそれは結露する
fact12 -> int1: あのヘビー・スモーカーは所らしいかそれは人士だ; int1 -> int2: ある物は所らしいかまたはそれは人士だ; int2 & fact13 -> int3: この表御殿は同郷人である; int3 & fact7 -> hypothesis;
そのレイティングは舐らない
fact17 -> int4: 仮に「そのレイティングは人士でないし所らしくない」ということは本当でないとすればそれは舐らない; fact19 -> int5: もしあのヘビー・スモーカーが実行可能コードだということはないならばそれは同郷人でしかも吹き消す; fact16 -> int6: もし「あのヘビー・スモーカーが実行可能コードだしファイルネームである」ということは嘘だとしたら実行可能コードであるということはない;
$facts$ = fact1: あのヘビー・スモーカーは同郷人であるとすれば「そのレイティングは人士でないしまたそれは所らしくない」ということは成り立たない fact2: 仮に「なにがしかのものは人士でなくてそれにそれは所らしくない」ということは間違いであるとすればそれは舐らない fact3: もし仮に「同郷人であるか人士であるか両方ともである」ものがあればあのヘビー・スモーカーは所らしい fact4: もしこの表御殿が人士でそれに同郷人であるとすればあのヘビー・スモーカーは人士でない fact5: 「この表御殿は所らしくないけど人士だ」ということは成り立たないとするとあのヘビー・スモーカーは出世出来る fact6: そのコミューンは吹き消す fact7: 仮にこの表御殿が同郷人ならばそのレイティングは舐る fact8: 仮に「なんらかの物は実行可能コードであるししかもファイルネームだ」ということは成り立たないとしたらそれは実行可能コードでない fact9: あのヘビー・スモーカーは舐るかもしくは所らしいか両方ともである fact10: この表御殿は舐る fact11: 「所らしいかあるいは舐る」ものはある fact12: あのヘビー・スモーカーは人士である fact13: もし仮に「所らしいか人士である」ものがあればこの表御殿は同郷人だ fact14: 「あるものは実行可能コードでない」ということは事実であるなら同郷人だし吹き消す fact15: 何かは幻聴であるかもしくはそれは結露する ; $hypothesis$ = そのレイティングは舐る ; $proof$ = 
fact12 -> int1: あのヘビー・スモーカーは所らしいかそれは人士だ; int1 -> int2: ある物は所らしいかまたはそれは人士だ; int2 & fact13 -> int3: この表御殿は同郷人である; int3 & fact7 -> hypothesis; __PROVED__
事実1: あのヘビー・スモーカーは同郷人であるとすれば「そのレイティングは人士でないしまたそれは所らしくない」ということは成り立たない
事実2: 仮に「なにがしかのものは人士でなくてそれにそれは所らしくない」ということは間違いであるとすればそれは舐らない
事実3: もし仮に「同郷人であるか人士であるか両方ともである」ものがあればあのヘビー・スモーカーは所らしい
事実4: もしこの表御殿が人士でそれに同郷人であるとすればあのヘビー・スモーカーは人士でない
事実5: 「この表御殿は所らしくないけど人士だ」ということは成り立たないとするとあのヘビー・スモーカーは出世出来る
事実6: そのコミューンは吹き消す
事実7: 仮にこの表御殿が同郷人ならばそのレイティングは舐る
事実8: 仮に「なんらかの物は実行可能コードであるししかもファイルネームだ」ということは成り立たないとしたらそれは実行可能コードでない
事実9: あのヘビー・スモーカーは舐るかもしくは所らしいか両方ともである
事実10: この表御殿は舐る
事実11: 「所らしいかあるいは舐る」ものはある
事実12: あのヘビー・スモーカーは人士である
事実13: もし仮に「所らしいか人士である」ものがあればこの表御殿は同郷人だ
事実14: 「あるものは実行可能コードでない」ということは事実であるなら同郷人だし吹き消す
事実15: 何かは幻聴であるかもしくはそれは結露する

仮説: そのレイティングは舐る
1. 事実12から、推論1: "あのヘビー・スモーカーは所らしいかそれは人士だ"が導かれる
2. 推論1から、推論2: "ある物は所らしいかまたはそれは人士だ"が導かれる
3. 推論2と事実13から、推論3: "この表御殿は同郷人である"が導かれる
4. 推論3と事実7から、仮説が導かれる

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