「あの無神論者は敷き布団でないかもしくは退行であるかどちらもである」ということは嘘である
fact1: 仮にその横浜市内がハザードマップでないならばあの細胞系譜は付き難いけど名高くない fact2: なんらかのものは名高いかあるいはそれは女子大だ fact3: 「女子大であるかもしくは付き難いかもしくはどちらもである」ものがあるとするとその横浜市内は八年後である fact4: このＣＭＹＫカラーは八年後だ fact5: もしもなんらかのものは八年後だとしたら「それは全日程である」ということは正しい fact6: もし「その横浜市内は女子大である一方で紅楼夢でない」ということは正しいならばこのずわい蟹は名高い fact7: 仮にあの細胞系譜が具するとすればその横浜市内は女子大であるが紅楼夢でない fact8: 仮に名高いかあるいは付き難いかあるいはどちらもなものがあればこの検札はハザードマップだ fact9: もし仮にこの検札は全日程であるなら「あの無神論者は敷き布団でないかもしくは退行であるか両方ともである」ということは成り立つということはない fact10: あの細胞系譜は具する fact11: 「ハザードマップは八年後だ」ということは成り立つ fact12: もしこの検札が紅楼夢だとすれば全日程である
fact7 & fact10 -> int1: その横浜市内は女子大だ一方でそれは紅楼夢でない; int1 & fact6 -> int2: このずわい蟹は名高い; int2 -> int3: このずわい蟹は名高いか付き難いかあるいはどちらもだ; int3 -> int4: なんらかの物は名高いかまたは付き難い; int4 & fact8 -> int5: この検札はハザードマップである; fact11 -> int6: 「この検札はハザードマップだ」ということは正しいとしたらそれは八年後である; int5 & int6 -> int7: この検札は八年後である; fact5 -> int8: この検札が八年後だとすると全日程だ; int7 & int8 -> int9: この検札は全日程だ; int9 & fact9 -> hypothesis;
このずわい蟹は安い
$facts$ = fact1: 仮にその横浜市内がハザードマップでないならばあの細胞系譜は付き難いけど名高くない fact2: なんらかのものは名高いかあるいはそれは女子大だ fact3: 「女子大であるかもしくは付き難いかもしくはどちらもである」ものがあるとするとその横浜市内は八年後である fact4: このＣＭＹＫカラーは八年後だ fact5: もしもなんらかのものは八年後だとしたら「それは全日程である」ということは正しい fact6: もし「その横浜市内は女子大である一方で紅楼夢でない」ということは正しいならばこのずわい蟹は名高い fact7: 仮にあの細胞系譜が具するとすればその横浜市内は女子大であるが紅楼夢でない fact8: 仮に名高いかあるいは付き難いかあるいはどちらもなものがあればこの検札はハザードマップだ fact9: もし仮にこの検札は全日程であるなら「あの無神論者は敷き布団でないかもしくは退行であるか両方ともである」ということは成り立つということはない fact10: あの細胞系譜は具する fact11: 「ハザードマップは八年後だ」ということは成り立つ fact12: もしこの検札が紅楼夢だとすれば全日程である ; $hypothesis$ = 「あの無神論者は敷き布団でないかもしくは退行であるかどちらもである」ということは嘘である ; $proof$ = 
fact7 & fact10 -> int1: その横浜市内は女子大だ一方でそれは紅楼夢でない; int1 & fact6 -> int2: このずわい蟹は名高い; int2 -> int3: このずわい蟹は名高いか付き難いかあるいはどちらもだ; int3 -> int4: なんらかの物は名高いかまたは付き難い; int4 & fact8 -> int5: この検札はハザードマップである; fact11 -> int6: 「この検札はハザードマップだ」ということは正しいとしたらそれは八年後である; int5 & int6 -> int7: この検札は八年後である; fact5 -> int8: この検札が八年後だとすると全日程だ; int7 & int8 -> int9: この検札は全日程だ; int9 & fact9 -> hypothesis; __PROVED__
事実1: 仮にその横浜市内がハザードマップでないならばあの細胞系譜は付き難いけど名高くない
事実2: なんらかのものは名高いかあるいはそれは女子大だ
事実3: 「女子大であるかもしくは付き難いかもしくはどちらもである」ものがあるとするとその横浜市内は八年後である
事実4: このＣＭＹＫカラーは八年後だ
事実5: もしもなんらかのものは八年後だとしたら「それは全日程である」ということは正しい
事実6: もし「その横浜市内は女子大である一方で紅楼夢でない」ということは正しいならばこのずわい蟹は名高い
事実7: 仮にあの細胞系譜が具するとすればその横浜市内は女子大であるが紅楼夢でない
事実8: 仮に名高いかあるいは付き難いかあるいはどちらもなものがあればこの検札はハザードマップだ
事実9: もし仮にこの検札は全日程であるなら「あの無神論者は敷き布団でないかもしくは退行であるか両方ともである」ということは成り立つということはない
事実10: あの細胞系譜は具する
事実11: 「ハザードマップは八年後だ」ということは成り立つ
事実12: もしこの検札が紅楼夢だとすれば全日程である

仮説: 「あの無神論者は敷き布団でないかもしくは退行であるかどちらもである」ということは嘘である
1. 事実7と事実10から、推論1: "その横浜市内は女子大だ一方でそれは紅楼夢でない"が導かれる
2. 推論1と事実6から、推論2: "このずわい蟹は名高い"が導かれる
3. 推論2から、推論3: "このずわい蟹は名高いか付き難いかあるいはどちらもだ"が導かれる
4. 推論3から、推論4: "なんらかの物は名高いかまたは付き難い"が導かれる
5. 推論4と事実8から、推論5: "この検札はハザードマップである"が導かれる
6. 事実11から、推論6: "「この検札はハザードマップだ」ということは正しいとしたらそれは八年後である"が導かれる
7. 推論5と推論6から、推論7: "この検札は八年後である"が導かれる
8. 事実5から、推論8: "この検札が八年後だとすると全日程だ"が導かれる
9. 推論7と推論8から、推論9: "この検札は全日程だ"が導かれる
10. 推論9と事実9から、仮説が導かれる

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