そのぽちゅぽのLv.47は意地悪くてそれはアメリカらしい
fact1: このぴなぴよLv.88はアメリカらしいかあるいは相応しい fact2: もしも「このぴなぴよLv.88は相応しい」ということは成り立てばそのぽちゅぽのLv.47はアメリカらしい fact3: もしこのぴなぴよLv.88が人懐っこいならそのぽちゅぽのLv.47はアメリカらしい fact4: そのぽちゅぽのLv.47は意地悪い fact5: このぴなぴよLv.88は相応しいかまたは人懐っこい
fact5 & fact2 & fact3 -> int1: そのぽちゅぽのLv.47はアメリカらしい; int1 & fact4 -> hypothesis;
fact5 & fact2 & fact3 -> int1: {C}{c}; int1 & fact4 -> hypothesis;
$facts$ = fact1: このぴなぴよLv.88はアメリカらしいかあるいは相応しい fact2: もしも「このぴなぴよLv.88は相応しい」ということは成り立てばそのぽちゅぽのLv.47はアメリカらしい fact3: もしこのぴなぴよLv.88が人懐っこいならそのぽちゅぽのLv.47はアメリカらしい fact4: そのぽちゅぽのLv.47は意地悪い fact5: このぴなぴよLv.88は相応しいかまたは人懐っこい ; $hypothesis$ = そのぽちゅぽのLv.47は意地悪くてそれはアメリカらしい ; $proof$ = 
fact5 & fact2 & fact3 -> int1: そのぽちゅぽのLv.47はアメリカらしい; int1 & fact4 -> hypothesis; __PROVED__
fact5 & fact2 & fact3 -> int1: {C}{c}; int1 & fact4 -> hypothesis; __PROVED__