「もしも「吸収し易くないし術前である」ということは成り立たないとすれば悲し」ものはある
fact1: もし仮に「「この脂肪肉腫は吸収し易くない一方でそれは術前だ」ということは成り立たない」ということは成り立つなら悲し fact2: 「もし「縁無し帽でないしおまけに爆撃する」ということは成り立たないならば興味深い」物はある fact3: もし「「この脂肪肉腫は論究しない一方でそれは来難い」ということは間違いだ」ということは成り立つとするとそれは印象深い fact4: 「仮に術前であるということはないならば悲し」ものはある fact5: 「吸収し易いとしたら悲し」物はある fact6: もし仮にこの脂肪肉腫が吸収し易くないけれどそれは術前であるならば悲し fact7: 「「通信料金でなくてその上忙しい」ということは間違っているなら置き易い」物はある fact8: 「「成し難くないが使い辛い」ということは偽だとしたら「獲得し始める」ということは本当な」ものはある fact9: 「もし「素早くない一方で居住出来る」ということは間違っているとすると刮げ落とす」ものはある fact10: 「仮に吸収し易くないが術前だとすると悲し」ものはある fact11: 「もし仮に「この脂肪肉腫は悲しないけど印象深い」ということは事実と異なるならばあの脂肪肉腫はリモネンだ」ということは事実である fact12: 「「もし「吸収し易いしまた術前だ」ということは成り立たないとすれば悲し」物はある」ということは成り立つ fact13: 「もし「水上飛行機でないし加えて過不足無い」ということは間違いであるとしたらデータグラムソケットな」ものはある fact14: もし「なにかは人間っぽくない一方で悲し」ということは成り立たないならば縁無し帽だ fact15: 仮に「「何かは物悲しくない一方でそれは近付き難い」ということは真実だ」ということは成り立たないとしたら稲荷社だ fact16: もし仮に「この祝賀会は恭しくないがしかし子供らしい」ということは偽ならばそれは基本ソフトだ fact17: もし「とある物は脂っこくないけれどむさい」ということは成り立たないとすれば注腸造影だ fact18: 仮に「この装飾はクリア出来ないけどそれは掃除出来る」ということは事実と異なるなら「それは置き易い」ということは成り立つ fact19: もしこの脂肪肉腫は吸収し易いとしたら「悲し」ということは成り立つ fact20: 「もし仮に「増え難くないししかも忙しい」ということは嘘であるならば「免れ難い」ということは真実な」物はある
fact1 -> hypothesis;
fact1 -> hypothesis;
「仮に「「物悲しくないけれど近付き難い」ということは成り立つ」ということは確かだということはないならば稲荷社な」ものはある
fact21 -> int1: もしも「その抽出・特定は物悲しくないけどそれは近付き難い」ということは成り立たないならば「それは稲荷社である」ということは確かだ; int1 -> hypothesis;
$facts$ = fact1: もし仮に「「この脂肪肉腫は吸収し易くない一方でそれは術前だ」ということは成り立たない」ということは成り立つなら悲し fact2: 「もし「縁無し帽でないしおまけに爆撃する」ということは成り立たないならば興味深い」物はある fact3: もし「「この脂肪肉腫は論究しない一方でそれは来難い」ということは間違いだ」ということは成り立つとするとそれは印象深い fact4: 「仮に術前であるということはないならば悲し」ものはある fact5: 「吸収し易いとしたら悲し」物はある fact6: もし仮にこの脂肪肉腫が吸収し易くないけれどそれは術前であるならば悲し fact7: 「「通信料金でなくてその上忙しい」ということは間違っているなら置き易い」物はある fact8: 「「成し難くないが使い辛い」ということは偽だとしたら「獲得し始める」ということは本当な」ものはある fact9: 「もし「素早くない一方で居住出来る」ということは間違っているとすると刮げ落とす」ものはある fact10: 「仮に吸収し易くないが術前だとすると悲し」ものはある fact11: 「もし仮に「この脂肪肉腫は悲しないけど印象深い」ということは事実と異なるならばあの脂肪肉腫はリモネンだ」ということは事実である fact12: 「「もし「吸収し易いしまた術前だ」ということは成り立たないとすれば悲し」物はある」ということは成り立つ fact13: 「もし「水上飛行機でないし加えて過不足無い」ということは間違いであるとしたらデータグラムソケットな」ものはある fact14: もし「なにかは人間っぽくない一方で悲し」ということは成り立たないならば縁無し帽だ fact15: 仮に「「何かは物悲しくない一方でそれは近付き難い」ということは真実だ」ということは成り立たないとしたら稲荷社だ fact16: もし仮に「この祝賀会は恭しくないがしかし子供らしい」ということは偽ならばそれは基本ソフトだ fact17: もし「とある物は脂っこくないけれどむさい」ということは成り立たないとすれば注腸造影だ fact18: 仮に「この装飾はクリア出来ないけどそれは掃除出来る」ということは事実と異なるなら「それは置き易い」ということは成り立つ fact19: もしこの脂肪肉腫は吸収し易いとしたら「悲し」ということは成り立つ fact20: 「もし仮に「増え難くないししかも忙しい」ということは嘘であるならば「免れ難い」ということは真実な」物はある ; $hypothesis$ = 「もしも「吸収し易くないし術前である」ということは成り立たないとすれば悲し」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もし仮に「「この脂肪肉腫は吸収し易くない一方でそれは術前だ」ということは成り立たない」ということは成り立つなら悲し
事実2: 「もし「縁無し帽でないしおまけに爆撃する」ということは成り立たないならば興味深い」物はある
事実3: もし「「この脂肪肉腫は論究しない一方でそれは来難い」ということは間違いだ」ということは成り立つとするとそれは印象深い
事実4: 「仮に術前であるということはないならば悲し」ものはある
事実5: 「吸収し易いとしたら悲し」物はある
事実6: もし仮にこの脂肪肉腫が吸収し易くないけれどそれは術前であるならば悲し
事実7: 「「通信料金でなくてその上忙しい」ということは間違っているなら置き易い」物はある
事実8: 「「成し難くないが使い辛い」ということは偽だとしたら「獲得し始める」ということは本当な」ものはある
事実9: 「もし「素早くない一方で居住出来る」ということは間違っているとすると刮げ落とす」ものはある
事実10: 「仮に吸収し易くないが術前だとすると悲し」ものはある
事実11: 「もし仮に「この脂肪肉腫は悲しないけど印象深い」ということは事実と異なるならばあの脂肪肉腫はリモネンだ」ということは事実である
事実12: 「「もし「吸収し易いしまた術前だ」ということは成り立たないとすれば悲し」物はある」ということは成り立つ
事実13: 「もし「水上飛行機でないし加えて過不足無い」ということは間違いであるとしたらデータグラムソケットな」ものはある
事実14: もし「なにかは人間っぽくない一方で悲し」ということは成り立たないならば縁無し帽だ
事実15: 仮に「「何かは物悲しくない一方でそれは近付き難い」ということは真実だ」ということは成り立たないとしたら稲荷社だ
事実16: もし仮に「この祝賀会は恭しくないがしかし子供らしい」ということは偽ならばそれは基本ソフトだ
事実17: もし「とある物は脂っこくないけれどむさい」ということは成り立たないとすれば注腸造影だ
事実18: 仮に「この装飾はクリア出来ないけどそれは掃除出来る」ということは事実と異なるなら「それは置き易い」ということは成り立つ
事実19: もしこの脂肪肉腫は吸収し易いとしたら「悲し」ということは成り立つ
事実20: 「もし仮に「増え難くないししかも忙しい」ということは嘘であるならば「免れ難い」ということは真実な」物はある

仮説: 「もしも「吸収し易くないし術前である」ということは成り立たないとすれば悲し」ものはある
1. 事実1から、仮説が導かれる

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