あのぴわぴくLv.49はすごーい
fact1: もし「このぴちゃぴねLv.49は嘘っぽい」ということは成り立つとすればあのぴわぴくLv.49はすごーい fact2: もし仮にこのぴちゃぴねLv.49が生活し易いならばそれは嘘っぽい fact3: このぴちゃぴねLv.49は心憎くてそれに生活し易い
fact3 -> int1: このぴちゃぴねLv.49は生活し易い; int1 & fact2 -> int2: このぴちゃぴねLv.49は嘘っぽい; int2 & fact1 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
$facts$ = fact1: もし「このぴちゃぴねLv.49は嘘っぽい」ということは成り立つとすればあのぴわぴくLv.49はすごーい fact2: もし仮にこのぴちゃぴねLv.49が生活し易いならばそれは嘘っぽい fact3: このぴちゃぴねLv.49は心憎くてそれに生活し易い ; $hypothesis$ = あのぴわぴくLv.49はすごーい ; $proof$ = 
fact3 -> int1: このぴちゃぴねLv.49は生活し易い; int1 & fact2 -> int2: このぴちゃぴねLv.49は嘘っぽい; int2 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact1 -> hypothesis; __PROVED__