「このぴわぴにゅLv.19は間違い易くて加えてそれは百姓らしい」ということは事実と異なる
fact1: このぴわぴにゅLv.19は百姓らしい fact2: 「あのまねまえLv.23は受け入れ難くないけれど冷やし固める」ということは事実でない fact3: 仮に「あのぷにょぷねLv.43は冷やし固める」ということは事実ならば「そのぽにゃぽちゃLv.54は荒廃する」ということは真実だ fact4: 「あのまねまえLv.23は受け入れ難くないけどそれは冷やし固める」ということは誤っていればあのぷにょぷねLv.43は冷やし固める fact5: もし仮に「そのぽにゃぽちゃLv.54は荒廃する」ということは本当だとすればこのぴわぴにゅLv.19は間違い易い
fact4 & fact2 -> int1: あのぷにょぷねLv.43は冷やし固める; fact3 & int1 -> int2: そのぽにゃぽちゃLv.54は荒廃する; int2 & fact5 -> int3: このぴわぴにゅLv.19は間違い易い; int3 & fact1 -> hypothesis;
fact4 & fact2 -> int1: {A}{a}; fact3 & int1 -> int2: {B}{b}; int2 & fact5 -> int3: {C}{c}; int3 & fact1 -> hypothesis;
$facts$ = fact1: このぴわぴにゅLv.19は百姓らしい fact2: 「あのまねまえLv.23は受け入れ難くないけれど冷やし固める」ということは事実でない fact3: 仮に「あのぷにょぷねLv.43は冷やし固める」ということは事実ならば「そのぽにゃぽちゃLv.54は荒廃する」ということは真実だ fact4: 「あのまねまえLv.23は受け入れ難くないけどそれは冷やし固める」ということは誤っていればあのぷにょぷねLv.43は冷やし固める fact5: もし仮に「そのぽにゃぽちゃLv.54は荒廃する」ということは本当だとすればこのぴわぴにゅLv.19は間違い易い ; $hypothesis$ = 「このぴわぴにゅLv.19は間違い易くて加えてそれは百姓らしい」ということは事実と異なる ; $proof$ = 
fact4 & fact2 -> int1: あのぷにょぷねLv.43は冷やし固める; fact3 & int1 -> int2: そのぽにゃぽちゃLv.54は荒廃する; int2 & fact5 -> int3: このぴわぴにゅLv.19は間違い易い; int3 & fact1 -> hypothesis; __DISPROVED__
fact4 & fact2 -> int1: {A}{a}; fact3 & int1 -> int2: {B}{b}; int2 & fact5 -> int3: {C}{c}; int3 & fact1 -> hypothesis; __DISPROVED__