あのぴくぴよLv.21は生臭いということはない
fact1: このまわまにょLv.21は懐かし fact2: 「そのぴえぴのLv.74は観察し易い」ということは事実だとしたらいじらしい fact3: もしこのまわまにょLv.21がいじらしいかもしくは懐かしなら「それは観察し易くない」ということは正しい fact4: もし「このまわまにょLv.21は懐かし」ということは確かであるならばそのぴえぴのLv.74は観察し易い fact5: そのぴえぴのLv.74がいじらしいとしたらあのぴくぴよLv.21は生臭い fact6: 「生臭くないモンスターは懐かしし観察し易い」ということは事実である
fact4 & fact1 -> int1: そのぴえぴのLv.74は観察し易い; int1 & fact2 -> int2: そのぴえぴのLv.74はいじらしい; int2 & fact5 -> hypothesis;
fact4 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{b}; int2 & fact5 -> hypothesis;
あのぴくぴよLv.21は生臭いということはない
$facts$ = fact1: このまわまにょLv.21は懐かし fact2: 「そのぴえぴのLv.74は観察し易い」ということは事実だとしたらいじらしい fact3: もしこのまわまにょLv.21がいじらしいかもしくは懐かしなら「それは観察し易くない」ということは正しい fact4: もし「このまわまにょLv.21は懐かし」ということは確かであるならばそのぴえぴのLv.74は観察し易い fact5: そのぴえぴのLv.74がいじらしいとしたらあのぴくぴよLv.21は生臭い fact6: 「生臭くないモンスターは懐かしし観察し易い」ということは事実である ; $hypothesis$ = あのぴくぴよLv.21は生臭いということはない ; $proof$ = 
fact4 & fact1 -> int1: そのぴえぴのLv.74は観察し易い; int1 & fact2 -> int2: そのぴえぴのLv.74はいじらしい; int2 & fact5 -> hypothesis; __DISPROVED__
fact4 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{b}; int2 & fact5 -> hypothesis; __DISPROVED__