この効用レベルは飛び越えない
fact1: 仮に「あの右手中指はスコアーだ」ということは本当だとしたらそれは竹製である fact2: 何らかの物がライフ・サイクルであるということはないかあるいはそれが目礼でないとすればそれはスコアーだ fact3: 何かは否認権でないなら「それは慈愛深くないしまたライフ・サイクルだ」ということは成り立たない fact4: もし「あの右手中指は飛び越える」ということは確かであるとすればこの効用レベルは竹製だ fact5: 「もし仮に「とある物は慈愛深くないがしかしライフ・サイクルである」ということは成り立たないとしたら「それはライフ・サイクルでない」ということは間違っていない」ということは確かである fact6: 仮に「辛くないけれど弛み無い」物があるとするとその合成化合物は発行登録追補書類でない fact7: あの右手中指はライフ・サイクルだとすると「この効用レベルはスコアーでなくて加えて竹製でない」ということは間違いである fact8: あの売り方がスコアーであるとしたらあの右手中指は飛び越えなくて竹製でない fact9: あの右手中指は否認権でないならライフ・サイクルであるしまた目礼だ fact10: その外国移住は弛み無い fact11: その外国移住は辛くない fact12: あの右手中指は厚かましい fact13: 仮にあの売り方が飛び越えるとすればあの右手中指は飛び越える fact14: この効用レベルは帯地だ fact15: もしも何かは発行登録追補書類だということはないならば遺存するしインターネット・ビジネスである fact16: このサッカー協会は飛び越える fact17: もしあの右手中指が飛び越えるならそれは竹製である fact18: 「あの右手中指はスコアーだ」ということは成り立つ fact19: もし「あの右手中指はスコアーであるということはないけれど竹製である」ということは成り立たないとしたらこの効用レベルはスコアーである fact20: もしもあの右手中指が飛び越えないしさらにそれが竹製でないとすればあの効用レベルは飛び越えない fact21: もしあの右手中指が竹製ならばこの効用レベルは飛び越える fact22: 仮になにがしかのものが遺存するとすれば止む無い fact23: 仮になにかは飛び越えれば「それはスコアーでない一方で竹製である」ということは嘘だ
fact1 & fact18 -> int1: 「あの右手中指は竹製である」ということは成り立つ; int1 & fact21 -> hypothesis;
fact1 & fact18 -> int1: {B}{a}; int1 & fact21 -> hypothesis;
この効用レベルはスコアーだ
fact26 -> int2: もしあの右手中指は飛び越えるとしたら「「それはスコアーでないしおまけにそれは竹製である」ということは事実だ」ということは誤っている;
$facts$ = fact1: 仮に「あの右手中指はスコアーだ」ということは本当だとしたらそれは竹製である fact2: 何らかの物がライフ・サイクルであるということはないかあるいはそれが目礼でないとすればそれはスコアーだ fact3: 何かは否認権でないなら「それは慈愛深くないしまたライフ・サイクルだ」ということは成り立たない fact4: もし「あの右手中指は飛び越える」ということは確かであるとすればこの効用レベルは竹製だ fact5: 「もし仮に「とある物は慈愛深くないがしかしライフ・サイクルである」ということは成り立たないとしたら「それはライフ・サイクルでない」ということは間違っていない」ということは確かである fact6: 仮に「辛くないけれど弛み無い」物があるとするとその合成化合物は発行登録追補書類でない fact7: あの右手中指はライフ・サイクルだとすると「この効用レベルはスコアーでなくて加えて竹製でない」ということは間違いである fact8: あの売り方がスコアーであるとしたらあの右手中指は飛び越えなくて竹製でない fact9: あの右手中指は否認権でないならライフ・サイクルであるしまた目礼だ fact10: その外国移住は弛み無い fact11: その外国移住は辛くない fact12: あの右手中指は厚かましい fact13: 仮にあの売り方が飛び越えるとすればあの右手中指は飛び越える fact14: この効用レベルは帯地だ fact15: もしも何かは発行登録追補書類だということはないならば遺存するしインターネット・ビジネスである fact16: このサッカー協会は飛び越える fact17: もしあの右手中指が飛び越えるならそれは竹製である fact18: 「あの右手中指はスコアーだ」ということは成り立つ fact19: もし「あの右手中指はスコアーであるということはないけれど竹製である」ということは成り立たないとしたらこの効用レベルはスコアーである fact20: もしもあの右手中指が飛び越えないしさらにそれが竹製でないとすればあの効用レベルは飛び越えない fact21: もしあの右手中指が竹製ならばこの効用レベルは飛び越える fact22: 仮になにがしかのものが遺存するとすれば止む無い fact23: 仮になにかは飛び越えれば「それはスコアーでない一方で竹製である」ということは嘘だ ; $hypothesis$ = この効用レベルは飛び越えない ; $proof$ = 
fact1 & fact18 -> int1: 「あの右手中指は竹製である」ということは成り立つ; int1 & fact21 -> hypothesis; __DISPROVED__
事実1: 仮に「あの右手中指はスコアーだ」ということは本当だとしたらそれは竹製である
事実2: 何らかの物がライフ・サイクルであるということはないかあるいはそれが目礼でないとすればそれはスコアーだ
事実3: 何かは否認権でないなら「それは慈愛深くないしまたライフ・サイクルだ」ということは成り立たない
事実4: もし「あの右手中指は飛び越える」ということは確かであるとすればこの効用レベルは竹製だ
事実5: 「もし仮に「とある物は慈愛深くないがしかしライフ・サイクルである」ということは成り立たないとしたら「それはライフ・サイクルでない」ということは間違っていない」ということは確かである
事実6: 仮に「辛くないけれど弛み無い」物があるとするとその合成化合物は発行登録追補書類でない
事実7: あの右手中指はライフ・サイクルだとすると「この効用レベルはスコアーでなくて加えて竹製でない」ということは間違いである
事実8: あの売り方がスコアーであるとしたらあの右手中指は飛び越えなくて竹製でない
事実9: あの右手中指は否認権でないならライフ・サイクルであるしまた目礼だ
事実10: その外国移住は弛み無い
事実11: その外国移住は辛くない
事実12: あの右手中指は厚かましい
事実13: 仮にあの売り方が飛び越えるとすればあの右手中指は飛び越える
事実14: この効用レベルは帯地だ
事実15: もしも何かは発行登録追補書類だということはないならば遺存するしインターネット・ビジネスである
事実16: このサッカー協会は飛び越える
事実17: もしあの右手中指が飛び越えるならそれは竹製である
事実18: 「あの右手中指はスコアーだ」ということは成り立つ
事実19: もし「あの右手中指はスコアーであるということはないけれど竹製である」ということは成り立たないとしたらこの効用レベルはスコアーである
事実20: もしもあの右手中指が飛び越えないしさらにそれが竹製でないとすればあの効用レベルは飛び越えない
事実21: もしあの右手中指が竹製ならばこの効用レベルは飛び越える
事実22: 仮になにがしかのものが遺存するとすれば止む無い
事実23: 仮になにかは飛び越えれば「それはスコアーでない一方で竹製である」ということは嘘だ

仮説: この効用レベルは飛び越えない
1. 事実1と事実18から、推論1: "「あの右手中指は竹製である」ということは成り立つ"が導かれる
2. 推論1と事実21から、仮説が否定される

よって、仮説が否定されました。