このスティール・ギターは再鑑定する
fact1: もしその鉱脈が再鑑定するとするとそれは善・悪である fact2: その相互配慮は飛行するしまた燃す fact3: もしもあの小陸が文芸部でそれに故人であるとしたらあの第二文は取り組み易いということはない fact4: その鉱脈は善・悪でない fact5: 「あの小陸は初産でない」ということは誤りでない fact6: 全てのものは善・悪でない fact7: その鉱脈は設立する一方で取り組み易くない fact8: もしもとある物は取り組み易くないなら「それは文芸部だがしかし故人でない」ということは成り立たない fact9: 仮にあの第二文は押さえ為さらないとすると「卑しいし更に疲れ易くない」ということは成り立たない fact10: もしもその鉱脈は馳せ参じるしさらに善・悪であるとすると「あの小陸は文芸部だ」ということは事実である fact11: もし仮にとあるものがまだるっこしいとするとそれは故人である fact12: その鉱脈が馳せ参じる一方で善・悪でないとしたら「あの小陸は文芸部である」ということは成り立つ fact13: もしもこのスティール・ギターが取り組み易くないとしたらあの第二文は再鑑定しない fact14: もしとある物が故人だとしたらそれは甚だしい fact15: もしも「なんらかのものは卑しいけれどそれは疲れ易くない」ということは偽だとすればそれはまだるっこしくない fact16: 「「故人でないかまたは取り組み易いかまたはどちらもだ」ということは間違いな」ものはある fact17: あの第二文は飛行する fact18: あの山名は飛行する fact19: あの第二文が飛行するがしかしまだるっこしくないならあの小陸は取り組み易いということはない fact20: このスティール・ギターは取り組み易い fact21: あのアウラはまだるっこしくない fact22: もしもあの小陸が飛行するとするとそれはまだるっこしい fact23: このスティール・ギターは飛行する fact24: 仮に「あの第二文は馳せ参じるしさらにそれは文芸部だ」ということは真実でないならば「あの小陸は馳せ参じない」ということは成り立つ fact25: あの小陸が故人で更にそれが馳せ参じるならばあの鉱脈は再鑑定しない fact26: あの第二文が取り組み易くないとすればこのスティール・ギターは再鑑定しない fact27: 「何もかもは馳せ参じる一方で善・悪であるということはない」ということは本当である fact28: あの小陸は飛行する
fact27 -> int1: その鉱脈は馳せ参じるが善・悪でない; int1 & fact12 -> int2: あの小陸は文芸部である; fact28 & fact22 -> int3: あの小陸はまだるっこしい; fact11 -> int4: 仮にあの小陸がまだるっこしいとすると故人である; int3 & int4 -> int5: あの小陸は故人だ; int2 & int5 -> int6: あの小陸は文芸部で故人だ; int6 & fact3 -> int7: あの第二文は取り組み易くない; int7 & fact26 -> hypothesis;
「このスティール・ギターは再鑑定する」ということは確かである
$facts$ = fact1: もしその鉱脈が再鑑定するとするとそれは善・悪である fact2: その相互配慮は飛行するしまた燃す fact3: もしもあの小陸が文芸部でそれに故人であるとしたらあの第二文は取り組み易いということはない fact4: その鉱脈は善・悪でない fact5: 「あの小陸は初産でない」ということは誤りでない fact6: 全てのものは善・悪でない fact7: その鉱脈は設立する一方で取り組み易くない fact8: もしもとある物は取り組み易くないなら「それは文芸部だがしかし故人でない」ということは成り立たない fact9: 仮にあの第二文は押さえ為さらないとすると「卑しいし更に疲れ易くない」ということは成り立たない fact10: もしもその鉱脈は馳せ参じるしさらに善・悪であるとすると「あの小陸は文芸部だ」ということは事実である fact11: もし仮にとあるものがまだるっこしいとするとそれは故人である fact12: その鉱脈が馳せ参じる一方で善・悪でないとしたら「あの小陸は文芸部である」ということは成り立つ fact13: もしもこのスティール・ギターが取り組み易くないとしたらあの第二文は再鑑定しない fact14: もしとある物が故人だとしたらそれは甚だしい fact15: もしも「なんらかのものは卑しいけれどそれは疲れ易くない」ということは偽だとすればそれはまだるっこしくない fact16: 「「故人でないかまたは取り組み易いかまたはどちらもだ」ということは間違いな」ものはある fact17: あの第二文は飛行する fact18: あの山名は飛行する fact19: あの第二文が飛行するがしかしまだるっこしくないならあの小陸は取り組み易いということはない fact20: このスティール・ギターは取り組み易い fact21: あのアウラはまだるっこしくない fact22: もしもあの小陸が飛行するとするとそれはまだるっこしい fact23: このスティール・ギターは飛行する fact24: 仮に「あの第二文は馳せ参じるしさらにそれは文芸部だ」ということは真実でないならば「あの小陸は馳せ参じない」ということは成り立つ fact25: あの小陸が故人で更にそれが馳せ参じるならばあの鉱脈は再鑑定しない fact26: あの第二文が取り組み易くないとすればこのスティール・ギターは再鑑定しない fact27: 「何もかもは馳せ参じる一方で善・悪であるということはない」ということは本当である fact28: あの小陸は飛行する ; $hypothesis$ = このスティール・ギターは再鑑定する ; $proof$ = 
fact27 -> int1: その鉱脈は馳せ参じるが善・悪でない; int1 & fact12 -> int2: あの小陸は文芸部である; fact28 & fact22 -> int3: あの小陸はまだるっこしい; fact11 -> int4: 仮にあの小陸がまだるっこしいとすると故人である; int3 & int4 -> int5: あの小陸は故人だ; int2 & int5 -> int6: あの小陸は文芸部で故人だ; int6 & fact3 -> int7: あの第二文は取り組み易くない; int7 & fact26 -> 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: このスティール・ギターは飛行する
事実24: 仮に「あの第二文は馳せ参じるしさらにそれは文芸部だ」ということは真実でないならば「あの小陸は馳せ参じない」ということは成り立つ
事実25: あの小陸が故人で更にそれが馳せ参じるならばあの鉱脈は再鑑定しない
事実26: あの第二文が取り組み易くないとすればこのスティール・ギターは再鑑定しない
事実27: 「何もかもは馳せ参じる一方で善・悪であるということはない」ということは本当である
事実28: あの小陸は飛行する

仮説: このスティール・ギターは再鑑定する
1. 事実27から、推論1: "その鉱脈は馳せ参じるが善・悪でない"が導かれる
2. 推論1と事実12から、推論2: "あの小陸は文芸部である"が導かれる
3. 事実28と事実22から、推論3: "あの小陸はまだるっこしい"が導かれる
4. 事実11から、推論4: "仮にあの小陸がまだるっこしいとすると故人である"が導かれる
5. 推論3と推論4から、推論5: "あの小陸は故人だ"が導かれる
6. 推論2と推論5から、推論6: "あの小陸は文芸部で故人だ"が導かれる
7. 推論6と事実3から、推論7: "あの第二文は取り組み易くない"が導かれる
8. 推論7と事実26から、仮説が否定される

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