その対空電探はＢＵＳであるし被り直す
fact1: 仮にあるものが演説しないとすれば合葬しなくてしかも落ち易くない fact2: もし仮に「その疫学的研究は伏さないし被り直さない」ということは間違っていればその対空電探は被り直す fact3: 仮にあのＧＲＤは合葬するとすると「その唐ゼミは演説する」ということは本当だ fact4: 「その疫学的研究は伏さなくて被り直さない」ということは誤りだ fact5: その対空電探が合理的疑いだしかつそれは眺め行く fact6: 仮に「伏さない」ものはあるとしたら「その唐ゼミはスポーツマンらしくない」ということは真実である fact7: 「その対空電探は伏さないが被り直す」ということは事実と異なる fact8: その唐ゼミが合葬するとしたらあのＧＲＤは落ち易い fact9: もしもあのＧＲＤが合葬しないしそれは落ち易いということはないなら「このＪＭは被り直すということはない」ということは間違いである fact10: あのＧＲＤは演説する fact11: あのＧＲＤは演説するかまたは合葬する fact12: その対空電探が伏すということはないとすればそれがスポーツマンらしいしその上それはＢＵＳでない fact13: あのＧＲＤが落ち易いとしたらその唐ゼミは演説する fact14: スポーツマンらしくないものは演説するしかつ合葬する fact15: その疫学的研究は落ち易い fact16: そのＣＧセクションは合葬する fact17: 仮に「その疫学的研究は被り直す」ということは真実だとすればその対空電探は伏す fact18: あのＧＲＤは落ち易いかあるいはそれは合葬するかあるいはどちらもだ fact19: 仮にその唐ゼミは演説するとすると「その対空電探はＢＵＳである」ということは確かだ fact20: 「その疫学的研究は伏すけれど被り直さない」ということは誤っている fact21: 「その疫学的研究は伏さない一方で被り直す」ということは成り立たない
fact18 & fact13 & fact3 -> int1: その唐ゼミは演説する; int1 & fact19 -> int2: その対空電探はＢＵＳだ; fact4 & fact2 -> int3: その対空電探は被り直す; int2 & int3 -> hypothesis;
このＪＭは被り直す
fact22 -> int4: もしあのＧＲＤが演説しないとしたら合葬しなくて更にそれは落ち易いということはない;
$facts$ = fact1: 仮にあるものが演説しないとすれば合葬しなくてしかも落ち易くない fact2: もし仮に「その疫学的研究は伏さないし被り直さない」ということは間違っていればその対空電探は被り直す fact3: 仮にあのＧＲＤは合葬するとすると「その唐ゼミは演説する」ということは本当だ fact4: 「その疫学的研究は伏さなくて被り直さない」ということは誤りだ fact5: その対空電探が合理的疑いだしかつそれは眺め行く fact6: 仮に「伏さない」ものはあるとしたら「その唐ゼミはスポーツマンらしくない」ということは真実である fact7: 「その対空電探は伏さないが被り直す」ということは事実と異なる fact8: その唐ゼミが合葬するとしたらあのＧＲＤは落ち易い fact9: もしもあのＧＲＤが合葬しないしそれは落ち易いということはないなら「このＪＭは被り直すということはない」ということは間違いである fact10: あのＧＲＤは演説する fact11: あのＧＲＤは演説するかまたは合葬する fact12: その対空電探が伏すということはないとすればそれがスポーツマンらしいしその上それはＢＵＳでない fact13: あのＧＲＤが落ち易いとしたらその唐ゼミは演説する fact14: スポーツマンらしくないものは演説するしかつ合葬する fact15: その疫学的研究は落ち易い fact16: そのＣＧセクションは合葬する fact17: 仮に「その疫学的研究は被り直す」ということは真実だとすればその対空電探は伏す fact18: あのＧＲＤは落ち易いかあるいはそれは合葬するかあるいはどちらもだ fact19: 仮にその唐ゼミは演説するとすると「その対空電探はＢＵＳである」ということは確かだ fact20: 「その疫学的研究は伏すけれど被り直さない」ということは誤っている fact21: 「その疫学的研究は伏さない一方で被り直す」ということは成り立たない ; $hypothesis$ = その対空電探はＢＵＳであるし被り直す ; $proof$ = 
fact18 & fact13 & fact3 -> int1: その唐ゼミは演説する; int1 & fact19 -> int2: その対空電探はＢＵＳだ; fact4 & fact2 -> int3: その対空電探は被り直す; int2 & int3 -> hypothesis; __PROVED__
事実1: 仮にあるものが演説しないとすれば合葬しなくてしかも落ち易くない
事実2: もし仮に「その疫学的研究は伏さないし被り直さない」ということは間違っていればその対空電探は被り直す
事実3: 仮にあのＧＲＤは合葬するとすると「その唐ゼミは演説する」ということは本当だ
事実4: 「その疫学的研究は伏さなくて被り直さない」ということは誤りだ
事実5: その対空電探が合理的疑いだしかつそれは眺め行く
事実6: 仮に「伏さない」ものはあるとしたら「その唐ゼミはスポーツマンらしくない」ということは真実である
事実7: 「その対空電探は伏さないが被り直す」ということは事実と異なる
事実8: その唐ゼミが合葬するとしたらあのＧＲＤは落ち易い
事実9: もしもあのＧＲＤが合葬しないしそれは落ち易いということはないなら「このＪＭは被り直すということはない」ということは間違いである
事実10: あのＧＲＤは演説する
事実11: あのＧＲＤは演説するかまたは合葬する
事実12: その対空電探が伏すということはないとすればそれがスポーツマンらしいしその上それはＢＵＳでない
事実13: あのＧＲＤが落ち易いとしたらその唐ゼミは演説する
事実14: スポーツマンらしくないものは演説するしかつ合葬する
事実15: その疫学的研究は落ち易い
事実16: そのＣＧセクションは合葬する
事実17: 仮に「その疫学的研究は被り直す」ということは真実だとすればその対空電探は伏す
事実18: あのＧＲＤは落ち易いかあるいはそれは合葬するかあるいはどちらもだ
事実19: 仮にその唐ゼミは演説するとすると「その対空電探はＢＵＳである」ということは確かだ
事実20: 「その疫学的研究は伏すけれど被り直さない」ということは誤っている
事実21: 「その疫学的研究は伏さない一方で被り直す」ということは成り立たない

仮説: その対空電探はＢＵＳであるし被り直す
1. 事実18と事実13と事実3から、推論1: "その唐ゼミは演説する"が導かれる
2. 推論1と事実19から、推論2: "その対空電探はＢＵＳだ"が導かれる
3. 事実4と事実2から、推論3: "その対空電探は被り直す"が導かれる
4. 推論2と推論3から、仮説が導かれる

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