「この頭蓋骨は景でないけれどそれはゴルフする」ということは誤っている
fact1: そのドル紙幣は見え難いなら「入学当初だ」ということは本当である fact2: もしもとある物は訳出しないけどデータ集合だとすると弾性体である fact3: そのドル紙幣は訳出しないがしかしデータ集合だ fact4: もしある物が黒文字でないか見え難いとすれば「それは入学当初である」ということは確かだ fact5: もし仮にそのドル紙幣が入学当初であるしそれが弾性体であるとしたらこの大集落はスリップだということはない fact6: そのドル紙幣が見難くなくてそれに遡上しないとすると「点灯する」ということは成り立つ fact7: そのドル紙幣は見難くないししかもそれは遡上しない fact8: 「そのドル紙幣は見難いということはない」ということは正しい fact9: そのドル紙幣は訳出しない fact10: もしもこの大集落はスリップだということはないとすれば「この頭蓋骨は景でしかもゴルフする」ということは成り立つということはない fact11: 何らかの物が点灯するとするとそれは黒文字でないかまたは見え難いかあるいはどちらもである fact12: もしもこの大集落はスリップであるということはないとすれば「この頭蓋骨は景でないがしかしゴルフする」ということは間違っている
fact6 & fact7 -> int1: そのドル紙幣は点灯する; fact11 -> int2: もし仮にそのドル紙幣が点灯するとしたらそれは黒文字でないか見え難いかまたはどちらもだ; int1 & int2 -> int3: そのドル紙幣は黒文字でないかあるいはそれは見え難いか両方ともだ; fact4 -> int4: そのドル紙幣が黒文字でないかあるいは見え難いか両方ならばそれは入学当初だ; int3 & int4 -> int5: そのドル紙幣は入学当初である; fact2 -> int6: もし仮にそのドル紙幣が訳出しないけどそれはデータ集合であるとしたらそれは弾性体だ; fact3 & int6 -> int7: 「そのドル紙幣は弾性体である」ということは正しい; int5 & int7 -> int8: そのドル紙幣は入学当初であるししかもそれは弾性体である; int8 & fact5 -> int9: この大集落はスリップでない; int9 & fact12 -> hypothesis;
$facts$ = fact1: そのドル紙幣は見え難いなら「入学当初だ」ということは本当である fact2: もしもとある物は訳出しないけどデータ集合だとすると弾性体である fact3: そのドル紙幣は訳出しないがしかしデータ集合だ fact4: もしある物が黒文字でないか見え難いとすれば「それは入学当初である」ということは確かだ fact5: もし仮にそのドル紙幣が入学当初であるしそれが弾性体であるとしたらこの大集落はスリップだということはない fact6: そのドル紙幣が見難くなくてそれに遡上しないとすると「点灯する」ということは成り立つ fact7: そのドル紙幣は見難くないししかもそれは遡上しない fact8: 「そのドル紙幣は見難いということはない」ということは正しい fact9: そのドル紙幣は訳出しない fact10: もしもこの大集落はスリップだということはないとすれば「この頭蓋骨は景でしかもゴルフする」ということは成り立つということはない fact11: 何らかの物が点灯するとするとそれは黒文字でないかまたは見え難いかあるいはどちらもである fact12: もしもこの大集落はスリップであるということはないとすれば「この頭蓋骨は景でないがしかしゴルフする」ということは間違っている ; $hypothesis$ = 「この頭蓋骨は景でないけれどそれはゴルフする」ということは誤っている ; $proof$ = 
fact6 & fact7 -> int1: そのドル紙幣は点灯する; fact11 -> int2: もし仮にそのドル紙幣が点灯するとしたらそれは黒文字でないか見え難いかまたはどちらもだ; int1 & int2 -> int3: そのドル紙幣は黒文字でないかあるいはそれは見え難いか両方ともだ; fact4 -> int4: そのドル紙幣が黒文字でないかあるいは見え難いか両方ならばそれは入学当初だ; int3 & int4 -> int5: そのドル紙幣は入学当初である; fact2 -> int6: もし仮にそのドル紙幣が訳出しないけどそれはデータ集合であるとしたらそれは弾性体だ; fact3 & int6 -> int7: 「そのドル紙幣は弾性体である」ということは正しい; int5 & int7 -> int8: そのドル紙幣は入学当初であるししかもそれは弾性体である; int8 & fact5 -> int9: この大集落はスリップでない; int9 & fact12 -> hypothesis; __PROVED__
事実1: そのドル紙幣は見え難いなら「入学当初だ」ということは本当である
事実2: もしもとある物は訳出しないけどデータ集合だとすると弾性体である
事実3: そのドル紙幣は訳出しないがしかしデータ集合だ
事実4: もしある物が黒文字でないか見え難いとすれば「それは入学当初である」ということは確かだ
事実5: もし仮にそのドル紙幣が入学当初であるしそれが弾性体であるとしたらこの大集落はスリップだということはない
事実6: そのドル紙幣が見難くなくてそれに遡上しないとすると「点灯する」ということは成り立つ
事実7: そのドル紙幣は見難くないししかもそれは遡上しない
事実8: 「そのドル紙幣は見難いということはない」ということは正しい
事実9: そのドル紙幣は訳出しない
事実10: もしもこの大集落はスリップだということはないとすれば「この頭蓋骨は景でしかもゴルフする」ということは成り立つということはない
事実11: 何らかの物が点灯するとするとそれは黒文字でないかまたは見え難いかあるいはどちらもである
事実12: もしもこの大集落はスリップであるということはないとすれば「この頭蓋骨は景でないがしかしゴルフする」ということは間違っている

仮説: 「この頭蓋骨は景でないけれどそれはゴルフする」ということは誤っている
1. 事実6と事実7から、推論1: "そのドル紙幣は点灯する"が導かれる
2. 事実11から、推論2: "もし仮にそのドル紙幣が点灯するとしたらそれは黒文字でないか見え難いかまたはどちらもだ"が導かれる
3. 推論1と推論2から、推論3: "そのドル紙幣は黒文字でないかあるいはそれは見え難いか両方ともだ"が導かれる
4. 事実4から、推論4: "そのドル紙幣が黒文字でないかあるいは見え難いか両方ならばそれは入学当初だ"が導かれる
5. 推論3と推論4から、推論5: "そのドル紙幣は入学当初である"が導かれる
6. 事実2から、推論6: "もし仮にそのドル紙幣が訳出しないけどそれはデータ集合であるとしたらそれは弾性体だ"が導かれる
7. 事実3と推論6から、推論7: "「そのドル紙幣は弾性体である」ということは正しい"が導かれる
8. 推論5と推論7から、推論8: "そのドル紙幣は入学当初であるししかもそれは弾性体である"が導かれる
9. 推論8と事実5から、推論9: "この大集落はスリップでない"が導かれる
10. 推論9と事実12から、仮説が導かれる

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