このぴわぴにゃLv.71は手際良いし加えて白い
fact1: あのもちゃもちょLv.36は白い fact2: もし仮に「「薄汚い」ということは事実である」モンスターがいるとするとこのぴわぴにゃLv.71は手際良い fact3: このぴわぴにゃLv.71は手際良い fact4: とあるモンスターは薄汚い fact5: なんらかのモンスターは薄汚くないとしたら「それは手際良くてかつ白い」ということは成り立たない fact6: 「白い」モンスターはいる fact7: 仮になにがしかのモンスターが薄汚いとしたらこのぴわぴにゃLv.71は手際良いしかつ白い
fact4 -> int1: とあるモンスターは薄汚い; int1 & fact7 -> hypothesis;
fact4 -> int1: (Ex): {A}x; int1 & fact7 -> hypothesis;
「このぴわぴにゃLv.71は手際良いししかも白い」ということは正しくない
fact8 -> int2: もしも「このぴわぴにゃLv.71は薄汚くない」ということは成り立つなら「このぴわぴにゃLv.71は手際良いしかつ白い」ということは間違いである;
$facts$ = fact1: あのもちゃもちょLv.36は白い fact2: もし仮に「「薄汚い」ということは事実である」モンスターがいるとするとこのぴわぴにゃLv.71は手際良い fact3: このぴわぴにゃLv.71は手際良い fact4: とあるモンスターは薄汚い fact5: なんらかのモンスターは薄汚くないとしたら「それは手際良くてかつ白い」ということは成り立たない fact6: 「白い」モンスターはいる fact7: 仮になにがしかのモンスターが薄汚いとしたらこのぴわぴにゃLv.71は手際良いしかつ白い ; $hypothesis$ = このぴわぴにゃLv.71は手際良いし加えて白い ; $proof$ = 
fact4 -> int1: とあるモンスターは薄汚い; int1 & fact7 -> hypothesis; __PROVED__
fact4 -> int1: (Ex): {A}x; int1 & fact7 -> hypothesis; __PROVED__