この主犯は偉い
fact1: もしも「「立件出来るということはなくて罹り易くない」ということは偽な」ものがあるとしたらあのミスＩオンは施用しない fact2: もし仮に「この主犯は施用する一方で鹿島神宮でない」ということは成り立たないとすればリーディング産業だ fact3: あの植物達は大成しないしまた見分け難くない fact4: もしもこの主犯は鹿島神宮であるならそれは偉い fact5: 仮になにがしかのものが立件出来るけど大成しないとしたら罹り易いということはない fact6: 「あのミスＩオンは作成ボタンでおまけにリーディング産業である」ということは事実と異なる fact7: 仮にその病院管理が教養部であるがサンデーサイレンスでないならあのミスＩオンは立件出来る fact8: 仮にその病院管理が幼けなくないとすれば教養部であるしそれはサンデーサイレンスだということはない fact9: もし「「この主犯は施用するけれどそれは鹿島神宮でない」ということは成り立たない」ということは誤っていないとすれば「偉い」ということは事実である fact10: もしあの植物達は大成しないとしたら「立件出来なくておまけに罹り易くない」ということは成り立たない fact11: もしあの植物達は施用しないならば「「この主犯は施用するし鹿島神宮である」ということは偽だ」ということは確かである fact12: もしもあのミスＩオンが作成ボタンでないとしたらあの植物達は施用するということはない fact13: もし「あのミスＩオンが作成ボタンだしリーディング産業である」ということは事実と異なるとしたらあの植物達は施用しない fact14: もし仮にあの植物達は施用しないなら「この主犯は施用するがそれは鹿島神宮でない」ということは成り立たない fact15: もし仮にある物が施用しなくてしかも鹿島神宮でないとしたら「それは偉くない」ということは正しい fact16: 仮にあのミスＩオンが罹り易くないとしたらこの主犯が施用しないしさらに鹿島神宮でない fact17: もしあの植物達は見分け難いけど大成するということはないとすると立件出来る fact18: もし仮に何かは締まるとすれば幼けなくない fact19: 「この主犯は施用するし加えて鹿島神宮だ」ということは事実でない fact20: もし「あの植物達は偉い」ということは成り立つとしたら「それは鹿島神宮でないしそれは施用しない」ということは誤りである fact21: もし仮になんらかのものが立件出来るとすればそれは偉い
fact13 & fact6 -> int1: あの植物達は施用しない; int1 & fact14 -> int2: 「この主犯は施用するけれど鹿島神宮だということはない」ということは成り立たない; int2 & fact9 -> hypothesis;
fact13 & fact6 -> int1: ¬{B}{b}; int1 & fact14 -> int2: ¬({B}{c} & ¬{A}{c}); int2 & fact9 -> hypothesis;
「その分霊は作成ボタンであるけどそれは罹り易くない」ということは偽だ
fact23 -> int3: もしあの植物達は立件出来るとすれば「それは偉い」ということは事実である;
$facts$ = fact1: もしも「「立件出来るということはなくて罹り易くない」ということは偽な」ものがあるとしたらあのミスＩオンは施用しない fact2: もし仮に「この主犯は施用する一方で鹿島神宮でない」ということは成り立たないとすればリーディング産業だ fact3: あの植物達は大成しないしまた見分け難くない fact4: もしもこの主犯は鹿島神宮であるならそれは偉い fact5: 仮になにがしかのものが立件出来るけど大成しないとしたら罹り易いということはない fact6: 「あのミスＩオンは作成ボタンでおまけにリーディング産業である」ということは事実と異なる fact7: 仮にその病院管理が教養部であるがサンデーサイレンスでないならあのミスＩオンは立件出来る fact8: 仮にその病院管理が幼けなくないとすれば教養部であるしそれはサンデーサイレンスだということはない fact9: もし「「この主犯は施用するけれどそれは鹿島神宮でない」ということは成り立たない」ということは誤っていないとすれば「偉い」ということは事実である fact10: もしあの植物達は大成しないとしたら「立件出来なくておまけに罹り易くない」ということは成り立たない fact11: もしあの植物達は施用しないならば「「この主犯は施用するし鹿島神宮である」ということは偽だ」ということは確かである fact12: もしもあのミスＩオンが作成ボタンでないとしたらあの植物達は施用するということはない fact13: もし「あのミスＩオンが作成ボタンだしリーディング産業である」ということは事実と異なるとしたらあの植物達は施用しない fact14: もし仮にあの植物達は施用しないなら「この主犯は施用するがそれは鹿島神宮でない」ということは成り立たない fact15: もし仮にある物が施用しなくてしかも鹿島神宮でないとしたら「それは偉くない」ということは正しい fact16: 仮にあのミスＩオンが罹り易くないとしたらこの主犯が施用しないしさらに鹿島神宮でない fact17: もしあの植物達は見分け難いけど大成するということはないとすると立件出来る fact18: もし仮に何かは締まるとすれば幼けなくない fact19: 「この主犯は施用するし加えて鹿島神宮だ」ということは事実でない fact20: もし「あの植物達は偉い」ということは成り立つとしたら「それは鹿島神宮でないしそれは施用しない」ということは誤りである fact21: もし仮になんらかのものが立件出来るとすればそれは偉い ; $hypothesis$ = この主犯は偉い ; $proof$ = 
fact13 & fact6 -> int1: あの植物達は施用しない; int1 & fact14 -> int2: 「この主犯は施用するけれど鹿島神宮だということはない」ということは成り立たない; int2 & fact9 -> hypothesis; __PROVED__
事実1: もしも「「立件出来るということはなくて罹り易くない」ということは偽な」ものがあるとしたらあのミスＩオンは施用しない
事実2: もし仮に「この主犯は施用する一方で鹿島神宮でない」ということは成り立たないとすればリーディング産業だ
事実3: あの植物達は大成しないしまた見分け難くない
事実4: もしもこの主犯は鹿島神宮であるならそれは偉い
事実5: 仮になにがしかのものが立件出来るけど大成しないとしたら罹り易いということはない
事実6: 「あのミスＩオンは作成ボタンでおまけにリーディング産業である」ということは事実と異なる
事実7: 仮にその病院管理が教養部であるがサンデーサイレンスでないならあのミスＩオンは立件出来る
事実8: 仮にその病院管理が幼けなくないとすれば教養部であるしそれはサンデーサイレンスだということはない
事実9: もし「「この主犯は施用するけれどそれは鹿島神宮でない」ということは成り立たない」ということは誤っていないとすれば「偉い」ということは事実である
事実10: もしあの植物達は大成しないとしたら「立件出来なくておまけに罹り易くない」ということは成り立たない
事実11: もしあの植物達は施用しないならば「「この主犯は施用するし鹿島神宮である」ということは偽だ」ということは確かである
事実12: もしもあのミスＩオンが作成ボタンでないとしたらあの植物達は施用するということはない
事実13: もし「あのミスＩオンが作成ボタンだしリーディング産業である」ということは事実と異なるとしたらあの植物達は施用しない
事実14: もし仮にあの植物達は施用しないなら「この主犯は施用するがそれは鹿島神宮でない」ということは成り立たない
事実15: もし仮にある物が施用しなくてしかも鹿島神宮でないとしたら「それは偉くない」ということは正しい
事実16: 仮にあのミスＩオンが罹り易くないとしたらこの主犯が施用しないしさらに鹿島神宮でない
事実17: もしあの植物達は見分け難いけど大成するということはないとすると立件出来る
事実18: もし仮に何かは締まるとすれば幼けなくない
事実19: 「この主犯は施用するし加えて鹿島神宮だ」ということは事実でない
事実20: もし「あの植物達は偉い」ということは成り立つとしたら「それは鹿島神宮でないしそれは施用しない」ということは誤りである
事実21: もし仮になんらかのものが立件出来るとすればそれは偉い

仮説: この主犯は偉い
1. 事実13と事実6から、推論1: "あの植物達は施用しない"が導かれる
2. 推論1と事実14から、推論2: "「この主犯は施用するけれど鹿島神宮だということはない」ということは成り立たない"が導かれる
3. 推論2と事実9から、仮説が導かれる

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