「もし仮に「余さない」ということは成り立つとすれば「扱い易いけれど偏らない」ということは誤りな」物はある
fact1: もしもとあるものは計画するとすれば「それは黒ししそれに上陸出来ない」ということは間違いである fact2: 仮になんらかのものは大鳥でないならば「それは第一回期日であるしまた証明出来ない」ということは偽である fact3: 「選択され易くないとしたら「驕りだし持つ」ということは確かでない」物はある fact4: 仮にあるものは余さないとすれば「扱い易くて偏らない」ということは偽である fact5: もしその蛍光眼底造影は余すとすれば「それは扱い易いしおまけにそれは偏らない」ということは成り立たない fact6: もしもなんらかのものは余さないとしたら「それは扱い易いしおまけに偏る」ということは成り立たない fact7: 「もし仮に歩き辛くないとすると「書き易いけど働き易くない」ということは成り立たない」物はある fact8: 仮にあるものは余すなら「扱い易いけど偏らない」ということは成り立たない fact9: その蛍光眼底造影は余さないなら「扱い易いし偏る」ということは間違っている fact10: 「仮に余さないとすれば扱い易いがしかし偏らない」ものはある fact11: その梅延家が止む無いということはないとするとそれは涼しいがしかし住み良くない fact12: 仮になにがしかのものは取り越すとすると「逞しいけれど細長くない」ということは事実と異なる fact13: もしもそのデンマーク語は正しなら「それは扱い易いが直行便でない」ということは成り立たない fact14: もしとあるものが余さないならばそれは扱い易いけれど偏らない fact15: あるものは介護者でないなら「持つし爆心地でない」ということは偽だ fact16: もし仮にその蛍光眼底造影は余すということはないとすると「扱い易いが偏らない」ということは本当である fact17: 「仮に余すなら「扱い易いが偏らない」ということは間違いである」物はある fact18: 「仮に余すということはないなら「扱い易くておまけに偏る」ということは誤っている」ものはある fact19: もしもあの沖縄決戦は若くないならば「それは住み良いけれどずれ込まない」ということは間違いだ fact20: 「もし使わないとすれば「粉砕するけれど罹り易くない」ということは誤りである」ものはある fact21: もしなんらかのものはしばれないならば「それは美味しいしそれにそれは残滓でない」ということは成り立つということはない
fact4 -> int1: 仮にその蛍光眼底造影は余さないとすれば「それは扱い易い一方で偏らない」ということは成り立たない; int1 -> hypothesis;
fact4 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
「介護者でないとすると「持つしその上爆心地でない」ということは偽である」物はある
fact22 -> int2: この更年期以降は介護者でないとしたら「持つけど爆心地でない」ということは間違っている; int2 -> hypothesis;
$facts$ = fact1: もしもとあるものは計画するとすれば「それは黒ししそれに上陸出来ない」ということは間違いである fact2: 仮になんらかのものは大鳥でないならば「それは第一回期日であるしまた証明出来ない」ということは偽である fact3: 「選択され易くないとしたら「驕りだし持つ」ということは確かでない」物はある fact4: 仮にあるものは余さないとすれば「扱い易くて偏らない」ということは偽である fact5: もしその蛍光眼底造影は余すとすれば「それは扱い易いしおまけにそれは偏らない」ということは成り立たない fact6: もしもなんらかのものは余さないとしたら「それは扱い易いしおまけに偏る」ということは成り立たない fact7: 「もし仮に歩き辛くないとすると「書き易いけど働き易くない」ということは成り立たない」物はある fact8: 仮にあるものは余すなら「扱い易いけど偏らない」ということは成り立たない fact9: その蛍光眼底造影は余さないなら「扱い易いし偏る」ということは間違っている fact10: 「仮に余さないとすれば扱い易いがしかし偏らない」ものはある fact11: その梅延家が止む無いということはないとするとそれは涼しいがしかし住み良くない fact12: 仮になにがしかのものは取り越すとすると「逞しいけれど細長くない」ということは事実と異なる fact13: もしもそのデンマーク語は正しなら「それは扱い易いが直行便でない」ということは成り立たない fact14: もしとあるものが余さないならばそれは扱い易いけれど偏らない fact15: あるものは介護者でないなら「持つし爆心地でない」ということは偽だ fact16: もし仮にその蛍光眼底造影は余すということはないとすると「扱い易いが偏らない」ということは本当である fact17: 「仮に余すなら「扱い易いが偏らない」ということは間違いである」物はある fact18: 「仮に余すということはないなら「扱い易くておまけに偏る」ということは誤っている」ものはある fact19: もしもあの沖縄決戦は若くないならば「それは住み良いけれどずれ込まない」ということは間違いだ fact20: 「もし使わないとすれば「粉砕するけれど罹り易くない」ということは誤りである」ものはある fact21: もしなんらかのものはしばれないならば「それは美味しいしそれにそれは残滓でない」ということは成り立つということはない ; $hypothesis$ = 「もし仮に「余さない」ということは成り立つとすれば「扱い易いけれど偏らない」ということは誤りな」物はある ; $proof$ = 
fact4 -> int1: 仮にその蛍光眼底造影は余さないとすれば「それは扱い易い一方で偏らない」ということは成り立たない; int1 -> hypothesis; __PROVED__
事実1: もしもとあるものは計画するとすれば「それは黒ししそれに上陸出来ない」ということは間違いである
事実2: 仮になんらかのものは大鳥でないならば「それは第一回期日であるしまた証明出来ない」ということは偽である
事実3: 「選択され易くないとしたら「驕りだし持つ」ということは確かでない」物はある
事実4: 仮にあるものは余さないとすれば「扱い易くて偏らない」ということは偽である
事実5: もしその蛍光眼底造影は余すとすれば「それは扱い易いしおまけにそれは偏らない」ということは成り立たない
事実6: もしもなんらかのものは余さないとしたら「それは扱い易いしおまけに偏る」ということは成り立たない
事実7: 「もし仮に歩き辛くないとすると「書き易いけど働き易くない」ということは成り立たない」物はある
事実8: 仮にあるものは余すなら「扱い易いけど偏らない」ということは成り立たない
事実9: その蛍光眼底造影は余さないなら「扱い易いし偏る」ということは間違っている
事実10: 「仮に余さないとすれば扱い易いがしかし偏らない」ものはある
事実11: その梅延家が止む無いということはないとするとそれは涼しいがしかし住み良くない
事実12: 仮になにがしかのものは取り越すとすると「逞しいけれど細長くない」ということは事実と異なる
事実13: もしもそのデンマーク語は正しなら「それは扱い易いが直行便でない」ということは成り立たない
事実14: もしとあるものが余さないならばそれは扱い易いけれど偏らない
事実15: あるものは介護者でないなら「持つし爆心地でない」ということは偽だ
事実16: もし仮にその蛍光眼底造影は余すということはないとすると「扱い易いが偏らない」ということは本当である
事実17: 「仮に余すなら「扱い易いが偏らない」ということは間違いである」物はある
事実18: 「仮に余すということはないなら「扱い易くておまけに偏る」ということは誤っている」ものはある
事実19: もしもあの沖縄決戦は若くないならば「それは住み良いけれどずれ込まない」ということは間違いだ
事実20: 「もし使わないとすれば「粉砕するけれど罹り易くない」ということは誤りである」ものはある
事実21: もしなんらかのものはしばれないならば「それは美味しいしそれにそれは残滓でない」ということは成り立つということはない

仮説: 「もし仮に「余さない」ということは成り立つとすれば「扱い易いけれど偏らない」ということは誤りな」物はある
1. 事実4から、推論1: "仮にその蛍光眼底造影は余さないとすれば「それは扱い易い一方で偏らない」ということは成り立たない"が導かれる
2. 推論1から、仮説が導かれる

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