「「大陸横断であるししかも溶け難い」物はある」ということは成り立たない
fact1: その鋼材価格は集め捲らない fact2: もし仮に「このＣＨＲは集め捲らない」ということは成り立てば真似出来る fact3: もし仮にあの仮免許がバランス良いならそれは処世訓であるしこびり付かない fact4: あの仮免許は処世訓である fact5: このＣＨＲは集め捲らない fact6: 「集め捲る一方でバランス良くない」物があるとすればこのＣＨＲはこびり付く fact7: あの仮免許はバランス良い fact8: 仮にこのＣＨＲが集め捲らないとすればそれはリアルさであるしさらに真似出来る fact9: もしも「あの仮免許は真似出来るしおまけにそれはバランス良い」ということは本当ならあの鎖は真似出来ない fact10: あるものがリアルさならばそれは大陸横断である fact11: もし「処世訓であるしこびり付かない」ものがあるとすればこのＣＨＲは溶け難い
fact3 & fact7 -> int1: 「あの仮免許は処世訓であるけれどこびり付かない」ということは本当だ; int1 -> int2: 「処世訓であるがこびり付かない」ものはある; int2 & fact11 -> int3: このＣＨＲは溶け難い; fact10 -> int4: もしもこのＣＨＲはリアルさならば「大陸横断である」ということは正しい; fact5 & fact8 -> int5: このＣＨＲはリアルさであるしそれは真似出来る; int5 -> int6: このＣＨＲはリアルさだ; int4 & int6 -> int7: 「このＣＨＲは大陸横断だ」ということは確かである; int3 & int7 -> int8: このＣＨＲは大陸横断であるし溶け難い; int8 -> hypothesis;
あの鎖は真似出来ない
$facts$ = fact1: その鋼材価格は集め捲らない fact2: もし仮に「このＣＨＲは集め捲らない」ということは成り立てば真似出来る fact3: もし仮にあの仮免許がバランス良いならそれは処世訓であるしこびり付かない fact4: あの仮免許は処世訓である fact5: このＣＨＲは集め捲らない fact6: 「集め捲る一方でバランス良くない」物があるとすればこのＣＨＲはこびり付く fact7: あの仮免許はバランス良い fact8: 仮にこのＣＨＲが集め捲らないとすればそれはリアルさであるしさらに真似出来る fact9: もしも「あの仮免許は真似出来るしおまけにそれはバランス良い」ということは本当ならあの鎖は真似出来ない fact10: あるものがリアルさならばそれは大陸横断である fact11: もし「処世訓であるしこびり付かない」ものがあるとすればこのＣＨＲは溶け難い ; $hypothesis$ = 「「大陸横断であるししかも溶け難い」物はある」ということは成り立たない ; $proof$ = 
fact3 & fact7 -> int1: 「あの仮免許は処世訓であるけれどこびり付かない」ということは本当だ; int1 -> int2: 「処世訓であるがこびり付かない」ものはある; int2 & fact11 -> int3: このＣＨＲは溶け難い; fact10 -> int4: もしもこのＣＨＲはリアルさならば「大陸横断である」ということは正しい; fact5 & fact8 -> int5: このＣＨＲはリアルさであるしそれは真似出来る; int5 -> int6: このＣＨＲはリアルさだ; int4 & int6 -> int7: 「このＣＨＲは大陸横断だ」ということは確かである; int3 & int7 -> int8: このＣＨＲは大陸横断であるし溶け難い; int8 -> hypothesis; __DISPROVED__
事実1: その鋼材価格は集め捲らない
事実2: もし仮に「このＣＨＲは集め捲らない」ということは成り立てば真似出来る
事実3: もし仮にあの仮免許がバランス良いならそれは処世訓であるしこびり付かない
事実4: あの仮免許は処世訓である
事実5: このＣＨＲは集め捲らない
事実6: 「集め捲る一方でバランス良くない」物があるとすればこのＣＨＲはこびり付く
事実7: あの仮免許はバランス良い
事実8: 仮にこのＣＨＲが集め捲らないとすればそれはリアルさであるしさらに真似出来る
事実9: もしも「あの仮免許は真似出来るしおまけにそれはバランス良い」ということは本当ならあの鎖は真似出来ない
事実10: あるものがリアルさならばそれは大陸横断である
事実11: もし「処世訓であるしこびり付かない」ものがあるとすればこのＣＨＲは溶け難い

仮説: 「「大陸横断であるししかも溶け難い」物はある」ということは成り立たない
1. 事実3と事実7から、推論1: "「あの仮免許は処世訓であるけれどこびり付かない」ということは本当だ"が導かれる
2. 推論1から、推論2: "「処世訓であるがこびり付かない」ものはある"が導かれる
3. 推論2と事実11から、推論3: "このＣＨＲは溶け難い"が導かれる
4. 事実10から、推論4: "もしもこのＣＨＲはリアルさならば「大陸横断である」ということは正しい"が導かれる
5. 事実5と事実8から、推論5: "このＣＨＲはリアルさであるしそれは真似出来る"が導かれる
6. 推論5から、推論6: "このＣＨＲはリアルさだ"が導かれる
7. 推論4と推論6から、推論7: "「このＣＨＲは大陸横断だ」ということは確かである"が導かれる
8. 推論3と推論7から、推論8: "このＣＨＲは大陸横断であるし溶け難い"が導かれる
9. 推論8から、仮説が否定される

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