このぽにゅぽちょLv.74はコピー＆ペーストしない
fact1: もしもそのぽちょぽわLv.33が其れらしいししかも余所余所しいならばこのぽにゅぽちょLv.74はコピー＆ペーストしない fact2: そのぽちょぽわLv.33は其れらしい fact3: そのぽちょぽわLv.33は余所余所しい
fact2 & fact3 -> int1: そのぽちょぽわLv.33は其れらしいし余所余所しい; int1 & fact1 -> hypothesis;
fact2 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> hypothesis;
$facts$ = fact1: もしもそのぽちょぽわLv.33が其れらしいししかも余所余所しいならばこのぽにゅぽちょLv.74はコピー＆ペーストしない fact2: そのぽちょぽわLv.33は其れらしい fact3: そのぽちょぽわLv.33は余所余所しい ; $hypothesis$ = このぽにゅぽちょLv.74はコピー＆ペーストしない ; $proof$ = 
fact2 & fact3 -> int1: そのぽちょぽわLv.33は其れらしいし余所余所しい; int1 & fact1 -> hypothesis; __PROVED__
fact2 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> hypothesis; __PROVED__