このラッコは口付けする
fact1: 「この失文法は鋼鉄でない一方でそれは相関解析である」ということは成り立たない fact2: もしこの失文法が相関解析ならこの起動時は鋼鉄だ fact3: もし仮にこの失文法がシリアル化すればこの起動時は吊り易い fact4: 「このラッコは鋼鉄でないけれどそれは口付けする」ということは成り立たない fact5: もしこの失文法がシリアル化するならこの起動時は相関解析である fact6: この御存知は吊り易い fact7: もしも「この失文法はシリアル化するがそれは拡散浸透しない」ということは間違いであるならシリアル化しない fact8: このラッコがシリアル化するとすると口付けする fact9: このラッコは相関解析である fact10: 仮に何らかの物は鋼鉄であるとすればシリアル化する fact11: 「この失文法は一煮しなくて更に吊り易くない」ということは成り立たない fact12: もしもこの失文法は怪猫であるけれどシリアル化しないとするとそれは鋼鉄でない fact13: もしもこの起動時がシリアル化するとすればこのラッコは口付けする fact14: 「この失文法は一煮するということはないし吊り易くない」ということは嘘であるなら相関解析である fact15: もしこの失文法が鋼鉄だとすると吊り易い fact16: 仮にこの起動時が一煮すればそれは鋼鉄である fact17: もしもあるものは切るということはないなら「シリアル化するしおまけにそれは拡散浸透しない」ということは間違いである fact18: その結核患者は口付けする fact19: この失文法は怪猫である fact20: 「あの逸脱はシリアル化する」ということは本当だ fact21: 「このラッコは問い直す」ということは成り立つ fact22: この失文法が一煮するなら口付けする fact23: もしこの起動時は鋼鉄であるならば「吊り易い」ということは成り立つ fact24: 仮になにがしかのものが一煮するとするとシリアル化する
fact14 & fact11 -> int1: この失文法は相関解析だ; int1 & fact2 -> int2: この起動時は鋼鉄だ; fact10 -> int3: もし仮にこの起動時が鋼鉄ならばシリアル化する; int2 & int3 -> int4: この起動時はシリアル化する; int4 & fact13 -> hypothesis;
このラッコは口付けしない
fact26 -> int5: もしこの失文法は切るということはないなら「シリアル化するがしかし拡散浸透しない」ということは正しくない;
$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: 仮になにがしかのものが一煮するとするとシリアル化する ; $hypothesis$ = このラッコは口付けする ; $proof$ = 
fact14 & fact11 -> int1: この失文法は相関解析だ; int1 & fact2 -> int2: この起動時は鋼鉄だ; fact10 -> int3: もし仮にこの起動時が鋼鉄ならばシリアル化する; int2 & int3 -> int4: この起動時はシリアル化する; int4 & fact13 -> 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: 仮になにがしかのものが一煮するとするとシリアル化する

仮説: このラッコは口付けする
1. 事実14と事実11から、推論1: "この失文法は相関解析だ"が導かれる
2. 推論1と事実2から、推論2: "この起動時は鋼鉄だ"が導かれる
3. 事実10から、推論3: "もし仮にこの起動時が鋼鉄ならばシリアル化する"が導かれる
4. 推論2と推論3から、推論4: "この起動時はシリアル化する"が導かれる
5. 推論4と事実13から、仮説が導かれる

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