「食い慣れないとすると公共用でないし招き易くない」物はある
fact1: もし仮にあの提案制度は公共用でないとするとそれは経営危機でない fact2: もし何らかの物が食い慣れないとすると公共用でなくて招き易くない fact3: もしこの用量依存性が臥床しないとすれば食い慣れないし加えて書き込みしない fact4: もしあの提案制度が食い慣れないとしたら公共用でない fact5: もしその世代密林が当て付けがましくらないとすればそれが食い慣れるということはないしさらにそれは重苦しい fact6: 何かは二語でないならそれは手招くということはなくてそれは仕方無しない fact7: もし仮に「なにかは食い慣れる」ということは本当だとすると公共用でなくて招き易くない fact8: なんらかのものが食い慣れるということはないとすればそれは公共用だということはないけど招き易い fact9: 「もし仮に百十一Ｕでないとすれば利き目でないし万人でない」物はある fact10: 「もし食い慣れるとすれば公共用であるということはないしかつ招き易くない」ものはある
fact2 -> int1: 仮にあの提案制度は食い慣れるということはないとしたら「公共用でないし加えてそれは招き易いということはない」ということは成り立つ; int1 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
「二語でないとすれば手招かないし更に仕方無しということはない」ものはある
fact11 -> int2: もし仮にその京都九Ｒは二語でないとしたら手招かないしかつ仕方無しない; int2 -> hypothesis;
$facts$ = fact1: もし仮にあの提案制度は公共用でないとするとそれは経営危機でない fact2: もし何らかの物が食い慣れないとすると公共用でなくて招き易くない fact3: もしこの用量依存性が臥床しないとすれば食い慣れないし加えて書き込みしない fact4: もしあの提案制度が食い慣れないとしたら公共用でない fact5: もしその世代密林が当て付けがましくらないとすればそれが食い慣れるということはないしさらにそれは重苦しい fact6: 何かは二語でないならそれは手招くということはなくてそれは仕方無しない fact7: もし仮に「なにかは食い慣れる」ということは本当だとすると公共用でなくて招き易くない fact8: なんらかのものが食い慣れるということはないとすればそれは公共用だということはないけど招き易い fact9: 「もし仮に百十一Ｕでないとすれば利き目でないし万人でない」物はある fact10: 「もし食い慣れるとすれば公共用であるということはないしかつ招き易くない」ものはある ; $hypothesis$ = 「食い慣れないとすると公共用でないし招き易くない」物はある ; $proof$ = 
fact2 -> int1: 仮にあの提案制度は食い慣れるということはないとしたら「公共用でないし加えてそれは招き易いということはない」ということは成り立つ; int1 -> hypothesis; __PROVED__
事実1: もし仮にあの提案制度は公共用でないとするとそれは経営危機でない
事実2: もし何らかの物が食い慣れないとすると公共用でなくて招き易くない
事実3: もしこの用量依存性が臥床しないとすれば食い慣れないし加えて書き込みしない
事実4: もしあの提案制度が食い慣れないとしたら公共用でない
事実5: もしその世代密林が当て付けがましくらないとすればそれが食い慣れるということはないしさらにそれは重苦しい
事実6: 何かは二語でないならそれは手招くということはなくてそれは仕方無しない
事実7: もし仮に「なにかは食い慣れる」ということは本当だとすると公共用でなくて招き易くない
事実8: なんらかのものが食い慣れるということはないとすればそれは公共用だということはないけど招き易い
事実9: 「もし仮に百十一Ｕでないとすれば利き目でないし万人でない」物はある
事実10: 「もし食い慣れるとすれば公共用であるということはないしかつ招き易くない」ものはある

仮説: 「食い慣れないとすると公共用でないし招き易くない」物はある
1. 事実2から、推論1: "仮にあの提案制度は食い慣れるということはないとしたら「公共用でないし加えてそれは招き易いということはない」ということは成り立つ"が導かれる
2. 推論1から、仮説が導かれる

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