そのびらは会しない一方で眠い
fact1: もしもなにがしかの物はセルラー・テレフォンだとすると「それは飛び出ないし加えて重大化する」ということは成り立たない fact2: すべてのものは鑑賞し易くない fact3: もし仮にその黒体が飛び出るとしたらそのびらは飛び出るということはないがしかし眠い fact4: もしも「そのびらは飛び出る」ということは成り立てばその黒体は眠い fact5: 仮にその黒体が眠いならそのびらは眠くないけど会する fact6: 仮にとある物が鑑賞し易くないとすると禁食禁水だしさらにセルラー・テレフォンである fact7: 仮に「その黒体は眠い」ということは真実であるならそのびらは会する fact8: もし仮にその黒体が眠いとするとそのびらは飛び出る fact9: そのディスクは眠い fact10: 「その黒体は眠い」ということは成り立つとしたらそのびらは眠いということはないが飛び出る fact11: そのびらは不変性でないが契約上である fact12: その黒体は竈神である fact13: もし仮にその黒体が会するならそのびらは会しないがしかし眠い fact14: その黒体は飛び出るしさらに会する
fact14 -> int1: その黒体は会する; int1 & fact13 -> hypothesis;
「そのびらは会するということはないけど眠い」ということは成り立たない
fact17 -> int2: もしこの地元企業が鑑賞し易くないとすると禁食禁水だしセルラー・テレフォンである; fact16 -> int3: この地元企業は鑑賞し易くない; int2 & int3 -> int4: この地元企業は禁食禁水であるしさらにそれはセルラー・テレフォンだ; int4 -> int5: どれもこれもは禁食禁水であるしその上セルラー・テレフォンだ; int5 -> int6: その黒体は禁食禁水であるしセルラー・テレフォンだ; int6 -> int7: 「その黒体はセルラー・テレフォンだ」ということは確かだ; fact15 -> int8: もしその黒体はセルラー・テレフォンであるとすると「それは飛び出ないが重大化する」ということは嘘だ; int7 & int8 -> int9: 「その黒体は飛び出るということはないがしかし重大化する」ということは正しいということはない;
$facts$ = fact1: もしもなにがしかの物はセルラー・テレフォンだとすると「それは飛び出ないし加えて重大化する」ということは成り立たない fact2: すべてのものは鑑賞し易くない fact3: もし仮にその黒体が飛び出るとしたらそのびらは飛び出るということはないがしかし眠い fact4: もしも「そのびらは飛び出る」ということは成り立てばその黒体は眠い fact5: 仮にその黒体が眠いならそのびらは眠くないけど会する fact6: 仮にとある物が鑑賞し易くないとすると禁食禁水だしさらにセルラー・テレフォンである fact7: 仮に「その黒体は眠い」ということは真実であるならそのびらは会する fact8: もし仮にその黒体が眠いとするとそのびらは飛び出る fact9: そのディスクは眠い fact10: 「その黒体は眠い」ということは成り立つとしたらそのびらは眠いということはないが飛び出る fact11: そのびらは不変性でないが契約上である fact12: その黒体は竈神である fact13: もし仮にその黒体が会するならそのびらは会しないがしかし眠い fact14: その黒体は飛び出るしさらに会する ; $hypothesis$ = そのびらは会しない一方で眠い ; $proof$ = 
fact14 -> int1: その黒体は会する; int1 & fact13 -> hypothesis; __PROVED__
事実1: もしもなにがしかの物はセルラー・テレフォンだとすると「それは飛び出ないし加えて重大化する」ということは成り立たない
事実2: すべてのものは鑑賞し易くない
事実3: もし仮にその黒体が飛び出るとしたらそのびらは飛び出るということはないがしかし眠い
事実4: もしも「そのびらは飛び出る」ということは成り立てばその黒体は眠い
事実5: 仮にその黒体が眠いならそのびらは眠くないけど会する
事実6: 仮にとある物が鑑賞し易くないとすると禁食禁水だしさらにセルラー・テレフォンである
事実7: 仮に「その黒体は眠い」ということは真実であるならそのびらは会する
事実8: もし仮にその黒体が眠いとするとそのびらは飛び出る
事実9: そのディスクは眠い
事実10: 「その黒体は眠い」ということは成り立つとしたらそのびらは眠いということはないが飛び出る
事実11: そのびらは不変性でないが契約上である
事実12: その黒体は竈神である
事実13: もし仮にその黒体が会するならそのびらは会しないがしかし眠い
事実14: その黒体は飛び出るしさらに会する

仮説: そのびらは会しない一方で眠い
1. 事実14から、推論1: "その黒体は会する"が導かれる
2. 推論1と事実13から、仮説が導かれる

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