「もしも「敵うない」ということは確かであるとしたら怖くないしおまけに整合しない」物はある
fact1: 「仮に「敵うない」ということは事実であるとしたら怖いし整合しない」ものはある fact2: 「敵うならば怖いということはなくて整合しない」物はある fact3: 「もしもその出目が敵うないとしたらその出目は整合するということはない」ということは事実である fact4: 子供っぽくない物はＭＩＮＵＳでない fact5: もしもこの必要記載事項が整合するならそれは這いでないししかもそれは苛立たしかない fact6: もし仮になにがしかの物が敵うないなら怖くなくておまけに整合しない fact7: 仮にこの首吊りが整合しないとすれば詰まり易くない fact8: もし仮になにがしかのものが敵うとするとそれは怖くないし加えて整合しない fact9: 「もしも散見出来ないとしたら埃っぽくてさらに受け入れ難くない」ものはある fact10: もし「その出目は敵うない」ということは真実だとすると怖い一方で整合しない fact11: もしもなにがしかの物が敵うないならば怖いけど整合しない fact12: 「もし仮に鶏冠でないなら塗装しなくて仲介しない」ものはある fact13: もしもその出目が集め捲るということはないなら怖くない fact14: 仮にその出目が独立粒子モデルでないならば闘争しないしそれは整合しない fact15: 「もし働き難くないなら勤め続けなくてまた急度しない」物はある fact16: もしもその最高血中濃度が整合しないとしたら興奮し易いが役らしくない fact17: 「もし小学唱歌集だとしたら興奮し易くないしさらに海底ケーブルでない」ものはある fact18: その出目が密封出来るとすると怖くなくてまたそれは操作し易いということはない
fact6 -> int1: もしその出目が敵うないとするとそれは怖いということはないし整合しない; int1 -> hypothesis;
$facts$ = fact1: 「仮に「敵うない」ということは事実であるとしたら怖いし整合しない」ものはある fact2: 「敵うならば怖いということはなくて整合しない」物はある fact3: 「もしもその出目が敵うないとしたらその出目は整合するということはない」ということは事実である fact4: 子供っぽくない物はＭＩＮＵＳでない fact5: もしもこの必要記載事項が整合するならそれは這いでないししかもそれは苛立たしかない fact6: もし仮になにがしかの物が敵うないなら怖くなくておまけに整合しない fact7: 仮にこの首吊りが整合しないとすれば詰まり易くない fact8: もし仮になにがしかのものが敵うとするとそれは怖くないし加えて整合しない fact9: 「もしも散見出来ないとしたら埃っぽくてさらに受け入れ難くない」ものはある fact10: もし「その出目は敵うない」ということは真実だとすると怖い一方で整合しない fact11: もしもなにがしかの物が敵うないならば怖いけど整合しない fact12: 「もし仮に鶏冠でないなら塗装しなくて仲介しない」ものはある fact13: もしもその出目が集め捲るということはないなら怖くない fact14: 仮にその出目が独立粒子モデルでないならば闘争しないしそれは整合しない fact15: 「もし働き難くないなら勤め続けなくてまた急度しない」物はある fact16: もしもその最高血中濃度が整合しないとしたら興奮し易いが役らしくない fact17: 「もし小学唱歌集だとしたら興奮し易くないしさらに海底ケーブルでない」ものはある fact18: その出目が密封出来るとすると怖くなくてまたそれは操作し易いということはない ; $hypothesis$ = 「もしも「敵うない」ということは確かであるとしたら怖くないしおまけに整合しない」物はある ; $proof$ = 
fact6 -> int1: もしその出目が敵うないとするとそれは怖いということはないし整合しない; int1 -> hypothesis; __PROVED__
事実1: 「仮に「敵うない」ということは事実であるとしたら怖いし整合しない」ものはある
事実2: 「敵うならば怖いということはなくて整合しない」物はある
事実3: 「もしもその出目が敵うないとしたらその出目は整合するということはない」ということは事実である
事実4: 子供っぽくない物はＭＩＮＵＳでない
事実5: もしもこの必要記載事項が整合するならそれは這いでないししかもそれは苛立たしかない
事実6: もし仮になにがしかの物が敵うないなら怖くなくておまけに整合しない
事実7: 仮にこの首吊りが整合しないとすれば詰まり易くない
事実8: もし仮になにがしかのものが敵うとするとそれは怖くないし加えて整合しない
事実9: 「もしも散見出来ないとしたら埃っぽくてさらに受け入れ難くない」ものはある
事実10: もし「その出目は敵うない」ということは真実だとすると怖い一方で整合しない
事実11: もしもなにがしかの物が敵うないならば怖いけど整合しない
事実12: 「もし仮に鶏冠でないなら塗装しなくて仲介しない」ものはある
事実13: もしもその出目が集め捲るということはないなら怖くない
事実14: 仮にその出目が独立粒子モデルでないならば闘争しないしそれは整合しない
事実15: 「もし働き難くないなら勤め続けなくてまた急度しない」物はある
事実16: もしもその最高血中濃度が整合しないとしたら興奮し易いが役らしくない
事実17: 「もし小学唱歌集だとしたら興奮し易くないしさらに海底ケーブルでない」ものはある
事実18: その出目が密封出来るとすると怖くなくてまたそれは操作し易いということはない

仮説: 「もしも「敵うない」ということは確かであるとしたら怖くないしおまけに整合しない」物はある
1. 事実6から、推論1: "もしその出目が敵うないとするとそれは怖いということはないし整合しない"が導かれる
2. 推論1から、仮説が導かれる

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