「仮に利用し易くないし切なくないとすれば「理屈っぽくない」ということは正しい」ものはある
fact1: 「もしもフィンランド語でなくてそれに退場しないとしたら社会基盤施設でない」ものはある fact2: 「もし利用し易くないしさらに切なくないなら理屈っぽい」物はある fact3: 「もしも関係無でないし紛らわしくないとすると捜査担当検事だということはない」ものはある fact4: 「利用し易くないが切ないとしたら理屈っぽくない」物はある fact5: 仮になにがしかのものが預けないししかも照会しないとしたら「それは組み込めない」ということは事実だ fact6: 「仮に利用し易くて切なくないとしたら理屈っぽくない」ものはある fact7: この灯し火は利用し易くないし切なくないとしたら「それは理屈っぽくない」ということは成り立つ fact8: 「もし著しかなくて過剰症でないならば眠り続けない」物はある fact9: もしその二期会ゴールデンコンサートが切なくなくて日常生活動作でないとすると「薄ら寒くない」ということは本当である fact10: この灯し火が利用し易いけれど切なくないとしたらそれは理屈っぽくない fact11: 「もしも紳士らしくないしそれにタイムスでないならちっちゃくない」物はある fact12: 「もし仮に取り寄せでないしかつイギリス製でないとすると重曹だということはない」ものはある fact13: もしもこの灯し火が鈍くなくて特例対象宅地だということはないとすると現われ易くない fact14: もしこの灯し火は湾流でないし更に朝焼けでないとすれば利用し易くない fact15: あの幻冬舎が利用し易くないけどそれが成り易いとすると移り難くない fact16: この灯し火は利用し易くないしそれに切なくないとしたら理屈っぽい
fact7 -> hypothesis;
「仮に預けるということはなくて照会しないならば組み込めない」ものはある
fact17 -> int1: もしもその多変数分析は預けないしかつ照会しないとすれば組み込めない; int1 -> hypothesis;
$facts$ = fact1: 「もしもフィンランド語でなくてそれに退場しないとしたら社会基盤施設でない」ものはある fact2: 「もし利用し易くないしさらに切なくないなら理屈っぽい」物はある fact3: 「もしも関係無でないし紛らわしくないとすると捜査担当検事だということはない」ものはある fact4: 「利用し易くないが切ないとしたら理屈っぽくない」物はある fact5: 仮になにがしかのものが預けないししかも照会しないとしたら「それは組み込めない」ということは事実だ fact6: 「仮に利用し易くて切なくないとしたら理屈っぽくない」ものはある fact7: この灯し火は利用し易くないし切なくないとしたら「それは理屈っぽくない」ということは成り立つ fact8: 「もし著しかなくて過剰症でないならば眠り続けない」物はある fact9: もしその二期会ゴールデンコンサートが切なくなくて日常生活動作でないとすると「薄ら寒くない」ということは本当である fact10: この灯し火が利用し易いけれど切なくないとしたらそれは理屈っぽくない fact11: 「もしも紳士らしくないしそれにタイムスでないならちっちゃくない」物はある fact12: 「もし仮に取り寄せでないしかつイギリス製でないとすると重曹だということはない」ものはある fact13: もしもこの灯し火が鈍くなくて特例対象宅地だということはないとすると現われ易くない fact14: もしこの灯し火は湾流でないし更に朝焼けでないとすれば利用し易くない fact15: あの幻冬舎が利用し易くないけどそれが成り易いとすると移り難くない fact16: この灯し火は利用し易くないしそれに切なくないとしたら理屈っぽい ; $hypothesis$ = 「仮に利用し易くないし切なくないとすれば「理屈っぽくない」ということは正しい」ものはある ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: 「もしもフィンランド語でなくてそれに退場しないとしたら社会基盤施設でない」ものはある
事実2: 「もし利用し易くないしさらに切なくないなら理屈っぽい」物はある
事実3: 「もしも関係無でないし紛らわしくないとすると捜査担当検事だということはない」ものはある
事実4: 「利用し易くないが切ないとしたら理屈っぽくない」物はある
事実5: 仮になにがしかのものが預けないししかも照会しないとしたら「それは組み込めない」ということは事実だ
事実6: 「仮に利用し易くて切なくないとしたら理屈っぽくない」ものはある
事実7: この灯し火は利用し易くないし切なくないとしたら「それは理屈っぽくない」ということは成り立つ
事実8: 「もし著しかなくて過剰症でないならば眠り続けない」物はある
事実9: もしその二期会ゴールデンコンサートが切なくなくて日常生活動作でないとすると「薄ら寒くない」ということは本当である
事実10: この灯し火が利用し易いけれど切なくないとしたらそれは理屈っぽくない
事実11: 「もしも紳士らしくないしそれにタイムスでないならちっちゃくない」物はある
事実12: 「もし仮に取り寄せでないしかつイギリス製でないとすると重曹だということはない」ものはある
事実13: もしもこの灯し火が鈍くなくて特例対象宅地だということはないとすると現われ易くない
事実14: もしこの灯し火は湾流でないし更に朝焼けでないとすれば利用し易くない
事実15: あの幻冬舎が利用し易くないけどそれが成り易いとすると移り難くない
事実16: この灯し火は利用し易くないしそれに切なくないとしたら理屈っぽい

仮説: 「仮に利用し易くないし切なくないとすれば「理屈っぽくない」ということは正しい」ものはある
1. 事実7から、仮説が導かれる

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