「もし仮に皮肉っぽいならば発現し易くない」物はある
fact1: 「「皮肉っぽい」ということは事実だとすれば発現し易い」物はある fact2: 「もし下ろすとすると思わしくない」ものはある fact3: 「もし仮に千九百九十五年現在だとしたら乾燥出来ない」物はある fact4: もし仮にある物が叩き続けるとするとそれは消費関数でない fact5: 「もし仮に近寄り難いとすると加増しない」物はある fact6: 慈覚大師は三ＬＤＫでない fact7: 「仮に御了承下されば装わない」ものはある fact8: 「そのライオンズは皮肉っぽい」ということは間違っているということはないなら「それは発現し易いということはない」ということは事実と異ならない fact9: もしもそのライオンズが心地良いとすると発現し易いということはない fact10: もし「そのライオンズは痛み易い」ということは成り立つならそれは公共調達制度でない fact11: 「もし創意であるならば踏み出すということはない」ものはある fact12: もし仮にそのライオンズが踏み出すならそれは遷移しない fact13: もしもその二艦が攻め始めるとすればそれはＣＡツープラスでない fact14: 仮にそのライオンズが騒ぎ始めるとしたらそれは発現し易くない fact15: 「もし仮に等しとすれば銀本位制でない」ものはある fact16: 「もしも御上がれば常連らしくない」物はある fact17: そのライオンズが皮肉っぽいとしたらそれは発現し易い
fact8 -> hypothesis;
「仮に慈覚大師ならば三ＬＤＫでない」ものはある
fact18 -> int1: もしそのウェブビーコン型が慈覚大師なら三ＬＤＫでない; int1 -> hypothesis;
$facts$ = fact1: 「「皮肉っぽい」ということは事実だとすれば発現し易い」物はある fact2: 「もし下ろすとすると思わしくない」ものはある fact3: 「もし仮に千九百九十五年現在だとしたら乾燥出来ない」物はある fact4: もし仮にある物が叩き続けるとするとそれは消費関数でない fact5: 「もし仮に近寄り難いとすると加増しない」物はある fact6: 慈覚大師は三ＬＤＫでない fact7: 「仮に御了承下されば装わない」ものはある fact8: 「そのライオンズは皮肉っぽい」ということは間違っているということはないなら「それは発現し易いということはない」ということは事実と異ならない fact9: もしもそのライオンズが心地良いとすると発現し易いということはない fact10: もし「そのライオンズは痛み易い」ということは成り立つならそれは公共調達制度でない fact11: 「もし創意であるならば踏み出すということはない」ものはある fact12: もし仮にそのライオンズが踏み出すならそれは遷移しない fact13: もしもその二艦が攻め始めるとすればそれはＣＡツープラスでない fact14: 仮にそのライオンズが騒ぎ始めるとしたらそれは発現し易くない fact15: 「もし仮に等しとすれば銀本位制でない」ものはある fact16: 「もしも御上がれば常連らしくない」物はある fact17: そのライオンズが皮肉っぽいとしたらそれは発現し易い ; $hypothesis$ = 「もし仮に皮肉っぽいならば発現し易くない」物はある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 「「皮肉っぽい」ということは事実だとすれば発現し易い」物はある
事実2: 「もし下ろすとすると思わしくない」ものはある
事実3: 「もし仮に千九百九十五年現在だとしたら乾燥出来ない」物はある
事実4: もし仮にある物が叩き続けるとするとそれは消費関数でない
事実5: 「もし仮に近寄り難いとすると加増しない」物はある
事実6: 慈覚大師は三ＬＤＫでない
事実7: 「仮に御了承下されば装わない」ものはある
事実8: 「そのライオンズは皮肉っぽい」ということは間違っているということはないなら「それは発現し易いということはない」ということは事実と異ならない
事実9: もしもそのライオンズが心地良いとすると発現し易いということはない
事実10: もし「そのライオンズは痛み易い」ということは成り立つならそれは公共調達制度でない
事実11: 「もし創意であるならば踏み出すということはない」ものはある
事実12: もし仮にそのライオンズが踏み出すならそれは遷移しない
事実13: もしもその二艦が攻め始めるとすればそれはＣＡツープラスでない
事実14: 仮にそのライオンズが騒ぎ始めるとしたらそれは発現し易くない
事実15: 「もし仮に等しとすれば銀本位制でない」ものはある
事実16: 「もしも御上がれば常連らしくない」物はある
事実17: そのライオンズが皮肉っぽいとしたらそれは発現し易い

仮説: 「もし仮に皮肉っぽいならば発現し易くない」物はある
1. 事実8から、仮説が導かれる

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