あのぽくぽちゅLv.68は赤黒いししかも誇らしい
fact1: 仮にそのぴなぴいLv.18が傾き易いとするとあのぽくぽちゅLv.68は歩み始める fact2: あのぽくぽちゅLv.68は誇らしい fact3: そのぴなぴいLv.18が気まずいとしたらそのぴなぴいLv.18は傾き易い fact4: もしあのぽくぽちゅLv.68が歩み始めるとすればそれは赤黒い fact5: そのぴなぴいLv.18は手広くて加えて気まずい
fact5 -> int1: そのぴなぴいLv.18は気まずい; int1 & fact3 -> int2: そのぴなぴいLv.18は傾き易い; int2 & fact1 -> int3: あのぽくぽちゅLv.68は歩み始める; int3 & fact4 -> int4: あのぽくぽちゅLv.68は赤黒い; int4 & fact2 -> hypothesis;
fact5 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact1 -> int3: {D}{b}; int3 & fact4 -> int4: {E}{b}; int4 & fact2 -> hypothesis;
$facts$ = fact1: 仮にそのぴなぴいLv.18が傾き易いとするとあのぽくぽちゅLv.68は歩み始める fact2: あのぽくぽちゅLv.68は誇らしい fact3: そのぴなぴいLv.18が気まずいとしたらそのぴなぴいLv.18は傾き易い fact4: もしあのぽくぽちゅLv.68が歩み始めるとすればそれは赤黒い fact5: そのぴなぴいLv.18は手広くて加えて気まずい ; $hypothesis$ = あのぽくぽちゅLv.68は赤黒いししかも誇らしい ; $proof$ = 
fact5 -> int1: そのぴなぴいLv.18は気まずい; int1 & fact3 -> int2: そのぴなぴいLv.18は傾き易い; int2 & fact1 -> int3: あのぽくぽちゅLv.68は歩み始める; int3 & fact4 -> int4: あのぽくぽちゅLv.68は赤黒い; int4 & fact2 -> hypothesis; __PROVED__
fact5 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact1 -> int3: {D}{b}; int3 & fact4 -> int4: {E}{b}; int4 & fact2 -> hypothesis; __PROVED__