あのぴくぴにょLv.53は放浪する
fact1: あのぴくぴにょLv.53が泥沼化するとするとあのぴくぴにょLv.53は放浪する fact2: そのぴちゅぴいLv.63が赤いならばあのぴくぴにょLv.53は泥沼化する fact3: そのぴちゅぴいLv.63は滑り難いなら「それは赤い」ということは真実だ fact4: そのぴちゅぴいLv.63は滑り難い
fact3 & fact4 -> int1: 「そのぴちゅぴいLv.63は赤い」ということは確かだ; int1 & fact2 -> int2: あのぴくぴにょLv.53は泥沼化する; int2 & fact1 -> hypothesis;
fact3 & fact4 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact1 -> hypothesis;
$facts$ = fact1: あのぴくぴにょLv.53が泥沼化するとするとあのぴくぴにょLv.53は放浪する fact2: そのぴちゅぴいLv.63が赤いならばあのぴくぴにょLv.53は泥沼化する fact3: そのぴちゅぴいLv.63は滑り難いなら「それは赤い」ということは真実だ fact4: そのぴちゅぴいLv.63は滑り難い ; $hypothesis$ = あのぴくぴにょLv.53は放浪する ; $proof$ = 
fact3 & fact4 -> int1: 「そのぴちゅぴいLv.63は赤い」ということは確かだ; int1 & fact2 -> int2: あのぴくぴにょLv.53は泥沼化する; int2 & fact1 -> hypothesis; __PROVED__
fact3 & fact4 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact1 -> hypothesis; __PROVED__