この各庁は室町時代中期でない
fact1: もしもそのエラー処理が風雨であるとするとこの馬蟥は畏敬する fact2: そのエラー処理は御話し頂けるがそれは差し掛からない fact3: もしある物が畏敬するけれどそれは折半でないならそれは看過し難くない fact4: その差等は風雨でない fact5: この各庁は悪しない fact6: そのエラー処理は買い与える fact7: この馬蟥は看過し難い fact8: この馬蟥は折半である fact9: そのエラー処理は悪しない fact10: もし仮に看過し難い物が悪しないなら室町時代中期でない fact11: この馬蟥が風雨だとしたらこの各庁は看過し難い fact12: この馬蟥は悪し fact13: もし仮にこの馬蟥が風雨だが畏敬しないならば看過し難くない fact14: この馬蟥が畏敬しないとすればそのエラー処理は室町時代中期でそれに折半である fact15: もしもそのエラー処理が折半であるとすればこの馬蟥は風雨だ fact16: 「そのエラー処理は風雨である」ということは本当だ fact17: もし仮にある物は畏敬するけれど室町時代中期でないとしたら「折半でない」ということは成り立つ fact18: そのエラー処理は折半であるししかも畏敬する fact19: その読まれ方は悪し
fact18 -> int1: そのエラー処理は折半だ; int1 & fact15 -> int2: この馬蟥は風雨だ; int2 & fact11 -> int3: この各庁は看過し難い; int3 & fact5 -> int4: この各庁は看過し難い一方で悪しない; fact10 -> int5: 仮にこの各庁は看過し難いが悪しないならば室町時代中期でない; int4 & int5 -> hypothesis;
この各庁は室町時代中期である
$facts$ = fact1: もしもそのエラー処理が風雨であるとするとこの馬蟥は畏敬する fact2: そのエラー処理は御話し頂けるがそれは差し掛からない fact3: もしある物が畏敬するけれどそれは折半でないならそれは看過し難くない fact4: その差等は風雨でない fact5: この各庁は悪しない fact6: そのエラー処理は買い与える fact7: この馬蟥は看過し難い fact8: この馬蟥は折半である fact9: そのエラー処理は悪しない fact10: もし仮に看過し難い物が悪しないなら室町時代中期でない fact11: この馬蟥が風雨だとしたらこの各庁は看過し難い fact12: この馬蟥は悪し fact13: もし仮にこの馬蟥が風雨だが畏敬しないならば看過し難くない fact14: この馬蟥が畏敬しないとすればそのエラー処理は室町時代中期でそれに折半である fact15: もしもそのエラー処理が折半であるとすればこの馬蟥は風雨だ fact16: 「そのエラー処理は風雨である」ということは本当だ fact17: もし仮にある物は畏敬するけれど室町時代中期でないとしたら「折半でない」ということは成り立つ fact18: そのエラー処理は折半であるししかも畏敬する fact19: その読まれ方は悪し ; $hypothesis$ = この各庁は室町時代中期でない ; $proof$ = 
fact18 -> int1: そのエラー処理は折半だ; int1 & fact15 -> int2: この馬蟥は風雨だ; int2 & fact11 -> int3: この各庁は看過し難い; int3 & fact5 -> int4: この各庁は看過し難い一方で悪しない; fact10 -> int5: 仮にこの各庁は看過し難いが悪しないならば室町時代中期でない; int4 & int5 -> hypothesis; __PROVED__
事実1: もしもそのエラー処理が風雨であるとするとこの馬蟥は畏敬する
事実2: そのエラー処理は御話し頂けるがそれは差し掛からない
事実3: もしある物が畏敬するけれどそれは折半でないならそれは看過し難くない
事実4: その差等は風雨でない
事実5: この各庁は悪しない
事実6: そのエラー処理は買い与える
事実7: この馬蟥は看過し難い
事実8: この馬蟥は折半である
事実9: そのエラー処理は悪しない
事実10: もし仮に看過し難い物が悪しないなら室町時代中期でない
事実11: この馬蟥が風雨だとしたらこの各庁は看過し難い
事実12: この馬蟥は悪し
事実13: もし仮にこの馬蟥が風雨だが畏敬しないならば看過し難くない
事実14: この馬蟥が畏敬しないとすればそのエラー処理は室町時代中期でそれに折半である
事実15: もしもそのエラー処理が折半であるとすればこの馬蟥は風雨だ
事実16: 「そのエラー処理は風雨である」ということは本当だ
事実17: もし仮にある物は畏敬するけれど室町時代中期でないとしたら「折半でない」ということは成り立つ
事実18: そのエラー処理は折半であるししかも畏敬する
事実19: その読まれ方は悪し

仮説: この各庁は室町時代中期でない
1. 事実18から、推論1: "そのエラー処理は折半だ"が導かれる
2. 推論1と事実15から、推論2: "この馬蟥は風雨だ"が導かれる
3. 推論2と事実11から、推論3: "この各庁は看過し難い"が導かれる
4. 推論3と事実5から、推論4: "この各庁は看過し難い一方で悪しない"が導かれる
5. 事実10から、推論5: "仮にこの各庁は看過し難いが悪しないならば室町時代中期でない"が導かれる
6. 推論4と推論5から、仮説が導かれる

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