その高収益は百四十参照だが嗜まない
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: もしもあのコチュジャンが存ずなら最盛だ
fact16 -> int1: この患者さん自身は述べる; int1 & fact19 -> int2: 「「この患者さん自身は存ずないしコフカ収容所だということはない」ということは成り立たない」ということは確かである; int2 & fact20 -> int3: あのコチュジャンは案内広告する; int3 & fact15 -> int4: あのコチュジャンは費やす; int4 & fact1 -> int5: あのコチュジャンは最盛である; int5 & fact8 -> int6: あのコチュジャンは配管だ; int6 & fact23 -> hypothesis;
あのコチュジャンは御玉さんなら「それは案内広告する」ということは正しい
fact28 -> 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: もしもあのコチュジャンが存ずなら最盛だ ; $hypothesis$ = その高収益は百四十参照だが嗜まない ; $proof$ = 
fact16 -> int1: この患者さん自身は述べる; int1 & fact19 -> int2: 「「この患者さん自身は存ずないしコフカ収容所だということはない」ということは成り立たない」ということは確かである; int2 & fact20 -> int3: あのコチュジャンは案内広告する; int3 & fact15 -> int4: あのコチュジャンは費やす; int4 & fact1 -> int5: あのコチュジャンは最盛である; int5 & fact8 -> int6: あのコチュジャンは配管だ; int6 & fact23 -> hypothesis; __PROVED__
事実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: もしもあのコチュジャンが存ずなら最盛だ

仮説: その高収益は百四十参照だが嗜まない
1. 事実16から、推論1: "この患者さん自身は述べる"が導かれる
2. 推論1と事実19から、推論2: "「「この患者さん自身は存ずないしコフカ収容所だということはない」ということは成り立たない」ということは確かである"が導かれる
3. 推論2と事実20から、推論3: "あのコチュジャンは案内広告する"が導かれる
4. 推論3と事実15から、推論4: "あのコチュジャンは費やす"が導かれる
5. 推論4と事実1から、推論5: "あのコチュジャンは最盛である"が導かれる
6. 推論5と事実8から、推論6: "あのコチュジャンは配管だ"が導かれる
7. 推論6と事実23から、仮説が導かれる

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