この邪魔は浮腫む
fact1: 仮にあの原因遺伝子が捨て子であるならあのリプルは断定し難い fact2: もしあの原因遺伝子が聞こえ出すとしたらこの邪魔は浮腫まない fact3: 仮にあの全館禁煙が憎しならあの文法上は聞こえ出す fact4: あのリプルは指南書であるならば聞こえ出す fact5: あの原因遺伝子は捨て子である fact6: 「あのリプルはミキシングであるがしかしそれは顔触れでない」ということは間違いである fact7: もしも「あの文法上は聞こえ出す」ということは確かであるなら広し fact8: もしも何らかのものがピッキングならば指南書であるということはなくて更に捨て子でない fact9: あのリプルは予言するしおまけに甘い fact10: 仮にあるものは捨て子でないとすれば「「広しけれど憎しない」ということは確かである」ということは成り立たない fact11: 「あの原因遺伝子は断定し難い一方で忍耐強いということはない」ということは成り立たない fact12: もしもあの文法上が指南書であるということはないしさらにそれが捨て子でないとするとあの全館禁煙は捨て子でない fact13: あの原因遺伝子が忍耐強いとしたらあの全館禁煙は憎し fact14: もしも「あの文法上は広し」ということは真実であるとするとあのリプルは捨て子である fact15: 「あの原因遺伝子は断定し難くてさらにそれは忍耐強い」ということは成り立たない fact16: もし「「あの原因遺伝子は断定し難いけど忍耐強くない」ということは事実と異なる」ということは確かであるとすればあの全館禁煙は憎し fact17: もしもあの全館禁煙が広しならあの原因遺伝子は聞こえ出す fact18: あの全館禁煙は忍耐強い fact19: 仮にあの原因遺伝子が聞こえ出せばあの文法上は断定し難い fact20: 「「あのリプルは捨て子だ」ということは成り立つとすればあのリプルは指南書である」ということは正しい fact21: 仮にあのリプルが指南書だとするとこの邪魔は浮腫む
fact16 & fact11 -> int1: あの全館禁煙は憎し; int1 & fact3 -> int2: あの文法上は聞こえ出す; int2 & fact7 -> int3: あの文法上は広し; int3 & fact14 -> int4: あのリプルは捨て子である; int4 & fact20 -> int5: あのリプルは指南書である; int5 & fact21 -> hypothesis;
この邪魔は浮腫むということはない
fact25 -> int6: 仮にあの全館禁煙は捨て子でないとしたら「それは広ししそれにそれは憎しない」ということは誤っている; fact26 -> int7: あの文法上がピッキングであるとすればそれは指南書でないしその上それは捨て子でない; fact23 -> int8: あのリプルは甘い; int8 -> int9: 甘いものはある;
$facts$ = fact1: 仮にあの原因遺伝子が捨て子であるならあのリプルは断定し難い fact2: もしあの原因遺伝子が聞こえ出すとしたらこの邪魔は浮腫まない fact3: 仮にあの全館禁煙が憎しならあの文法上は聞こえ出す fact4: あのリプルは指南書であるならば聞こえ出す fact5: あの原因遺伝子は捨て子である fact6: 「あのリプルはミキシングであるがしかしそれは顔触れでない」ということは間違いである fact7: もしも「あの文法上は聞こえ出す」ということは確かであるなら広し fact8: もしも何らかのものがピッキングならば指南書であるということはなくて更に捨て子でない fact9: あのリプルは予言するしおまけに甘い fact10: 仮にあるものは捨て子でないとすれば「「広しけれど憎しない」ということは確かである」ということは成り立たない fact11: 「あの原因遺伝子は断定し難い一方で忍耐強いということはない」ということは成り立たない fact12: もしもあの文法上が指南書であるということはないしさらにそれが捨て子でないとするとあの全館禁煙は捨て子でない fact13: あの原因遺伝子が忍耐強いとしたらあの全館禁煙は憎し fact14: もしも「あの文法上は広し」ということは真実であるとするとあのリプルは捨て子である fact15: 「あの原因遺伝子は断定し難くてさらにそれは忍耐強い」ということは成り立たない fact16: もし「「あの原因遺伝子は断定し難いけど忍耐強くない」ということは事実と異なる」ということは確かであるとすればあの全館禁煙は憎し fact17: もしもあの全館禁煙が広しならあの原因遺伝子は聞こえ出す fact18: あの全館禁煙は忍耐強い fact19: 仮にあの原因遺伝子が聞こえ出せばあの文法上は断定し難い fact20: 「「あのリプルは捨て子だ」ということは成り立つとすればあのリプルは指南書である」ということは正しい fact21: 仮にあのリプルが指南書だとするとこの邪魔は浮腫む ; $hypothesis$ = この邪魔は浮腫む ; $proof$ = 
fact16 & fact11 -> int1: あの全館禁煙は憎し; int1 & fact3 -> int2: あの文法上は聞こえ出す; int2 & fact7 -> int3: あの文法上は広し; int3 & fact14 -> int4: あのリプルは捨て子である; int4 & fact20 -> int5: あのリプルは指南書である; int5 & fact21 -> hypothesis; __PROVED__
事実1: 仮にあの原因遺伝子が捨て子であるならあのリプルは断定し難い
事実2: もしあの原因遺伝子が聞こえ出すとしたらこの邪魔は浮腫まない
事実3: 仮にあの全館禁煙が憎しならあの文法上は聞こえ出す
事実4: あのリプルは指南書であるならば聞こえ出す
事実5: あの原因遺伝子は捨て子である
事実6: 「あのリプルはミキシングであるがしかしそれは顔触れでない」ということは間違いである
事実7: もしも「あの文法上は聞こえ出す」ということは確かであるなら広し
事実8: もしも何らかのものがピッキングならば指南書であるということはなくて更に捨て子でない
事実9: あのリプルは予言するしおまけに甘い
事実10: 仮にあるものは捨て子でないとすれば「「広しけれど憎しない」ということは確かである」ということは成り立たない
事実11: 「あの原因遺伝子は断定し難い一方で忍耐強いということはない」ということは成り立たない
事実12: もしもあの文法上が指南書であるということはないしさらにそれが捨て子でないとするとあの全館禁煙は捨て子でない
事実13: あの原因遺伝子が忍耐強いとしたらあの全館禁煙は憎し
事実14: もしも「あの文法上は広し」ということは真実であるとするとあのリプルは捨て子である
事実15: 「あの原因遺伝子は断定し難くてさらにそれは忍耐強い」ということは成り立たない
事実16: もし「「あの原因遺伝子は断定し難いけど忍耐強くない」ということは事実と異なる」ということは確かであるとすればあの全館禁煙は憎し
事実17: もしもあの全館禁煙が広しならあの原因遺伝子は聞こえ出す
事実18: あの全館禁煙は忍耐強い
事実19: 仮にあの原因遺伝子が聞こえ出せばあの文法上は断定し難い
事実20: 「「あのリプルは捨て子だ」ということは成り立つとすればあのリプルは指南書である」ということは正しい
事実21: 仮にあのリプルが指南書だとするとこの邪魔は浮腫む

仮説: この邪魔は浮腫む
1. 事実16と事実11から、推論1: "あの全館禁煙は憎し"が導かれる
2. 推論1と事実3から、推論2: "あの文法上は聞こえ出す"が導かれる
3. 推論2と事実7から、推論3: "あの文法上は広し"が導かれる
4. 推論3と事実14から、推論4: "あのリプルは捨て子である"が導かれる
5. 推論4と事実20から、推論5: "あのリプルは指南書である"が導かれる
6. 推論5と事実21から、仮説が導かれる

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