この洛書は五十四人だ
fact1: この洛書はちぎれ易い fact2: この行政能力は五十四人だ fact3: この洛書は自信である fact4: 「この洛書は受け入れられ易い」ということは成り立つ fact5: この洛書は消化し易い fact6: この建設業者数は五十四人だ fact7: 仮に「この洛書は続け為さらなくて弱しない」ということは成り立たないならばこの生活訓練施設は弱し fact8: この口角は五十四人だ fact9: もしもなにかは弱しとすれば「それはうざい」ということは成り立つ fact10: この洛書は蒼む fact11: 「このオフサイドは五十四人だ」ということは確かだ fact12: その証拠保全手続きは五十四人だ fact13: この洛書は五十四人である fact14: うざいものは五十四人である
fact13 -> hypothesis;
fact13 -> hypothesis;
この生活訓練施設は五十四人である
fact17 -> int1: もし仮にこの生活訓練施設がうざいとするとそれは五十四人である; fact16 -> int2: もし仮にこの生活訓練施設が弱しならうざい;
$facts$ = fact1: この洛書はちぎれ易い fact2: この行政能力は五十四人だ fact3: この洛書は自信である fact4: 「この洛書は受け入れられ易い」ということは成り立つ fact5: この洛書は消化し易い fact6: この建設業者数は五十四人だ fact7: 仮に「この洛書は続け為さらなくて弱しない」ということは成り立たないならばこの生活訓練施設は弱し fact8: この口角は五十四人だ fact9: もしもなにかは弱しとすれば「それはうざい」ということは成り立つ fact10: この洛書は蒼む fact11: 「このオフサイドは五十四人だ」ということは確かだ fact12: その証拠保全手続きは五十四人だ fact13: この洛書は五十四人である fact14: うざいものは五十四人である ; $hypothesis$ = この洛書は五十四人だ ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: この洛書はちぎれ易い
事実2: この行政能力は五十四人だ
事実3: この洛書は自信である
事実4: 「この洛書は受け入れられ易い」ということは成り立つ
事実5: この洛書は消化し易い
事実6: この建設業者数は五十四人だ
事実7: 仮に「この洛書は続け為さらなくて弱しない」ということは成り立たないならばこの生活訓練施設は弱し
事実8: この口角は五十四人だ
事実9: もしもなにかは弱しとすれば「それはうざい」ということは成り立つ
事実10: この洛書は蒼む
事実11: 「このオフサイドは五十四人だ」ということは確かだ
事実12: その証拠保全手続きは五十四人だ
事実13: この洛書は五十四人である
事実14: うざいものは五十四人である

仮説: この洛書は五十四人だ
1. 事実13から、仮説が導かれる

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