その静態は事務局便り発行である
fact1: その静態は地中海沿岸である fact2: その両制度は事務局便り発行である fact3: その静態は事務局便り発行だ fact4: 「あるものはスコラであるしそれに悪い」ということは成り立たないとしたらそれは悪くない fact5: その嬢は事務局便り発行だ fact6: その静態は結び合う fact7: 麗々しいものは事務局便り発行だ fact8: その静態が麗々しいならその負んぶは麗々しい fact9: この海鰍船は事務局便り発行である fact10: もし仮にこの塾が悪くないならその静態が麗々しいしその上それは拱く fact11: その静態は事業主利益だ fact12: その静態は柴田法則である fact13: その静態はスタイリング剤だ fact14: その静態は総監督である fact15: この塾が事務局便り発行でないとすればその静態は事務局便り発行でない fact16: その洛書は事務局便り発行である fact17: この光ファイバケーブルは事務局便り発行だ fact18: あのアンコールワットは事務局便り発行である
fact3 -> hypothesis;
fact3 -> hypothesis;
その負んぶは事務局便り発行だ
fact21 -> int1: もしその負んぶが麗々しいとしたら事務局便り発行である; fact19 -> int2: 「もし「この塾はスコラであるし加えて悪い」ということは事実でないとしたらこの塾は悪くない」ということは成り立つ;
$facts$ = fact1: その静態は地中海沿岸である fact2: その両制度は事務局便り発行である fact3: その静態は事務局便り発行だ fact4: 「あるものはスコラであるしそれに悪い」ということは成り立たないとしたらそれは悪くない fact5: その嬢は事務局便り発行だ fact6: その静態は結び合う fact7: 麗々しいものは事務局便り発行だ fact8: その静態が麗々しいならその負んぶは麗々しい fact9: この海鰍船は事務局便り発行である fact10: もし仮にこの塾が悪くないならその静態が麗々しいしその上それは拱く fact11: その静態は事業主利益だ fact12: その静態は柴田法則である fact13: その静態はスタイリング剤だ fact14: その静態は総監督である fact15: この塾が事務局便り発行でないとすればその静態は事務局便り発行でない fact16: その洛書は事務局便り発行である fact17: この光ファイバケーブルは事務局便り発行だ fact18: あのアンコールワットは事務局便り発行である ; $hypothesis$ = その静態は事務局便り発行である ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: その静態は地中海沿岸である
事実2: その両制度は事務局便り発行である
事実3: その静態は事務局便り発行だ
事実4: 「あるものはスコラであるしそれに悪い」ということは成り立たないとしたらそれは悪くない
事実5: その嬢は事務局便り発行だ
事実6: その静態は結び合う
事実7: 麗々しいものは事務局便り発行だ
事実8: その静態が麗々しいならその負んぶは麗々しい
事実9: この海鰍船は事務局便り発行である
事実10: もし仮にこの塾が悪くないならその静態が麗々しいしその上それは拱く
事実11: その静態は事業主利益だ
事実12: その静態は柴田法則である
事実13: その静態はスタイリング剤だ
事実14: その静態は総監督である
事実15: この塾が事務局便り発行でないとすればその静態は事務局便り発行でない
事実16: その洛書は事務局便り発行である
事実17: この光ファイバケーブルは事務局便り発行だ
事実18: あのアンコールワットは事務局便り発行である

仮説: その静態は事務局便り発行である
1. 事実3から、仮説が導かれる

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