「このぴゆぴなLv.36は紳士らしいしおまけに口汚い」ということは成り立たない
fact1: このぴゆぴなLv.36は口汚い fact2: もしもこのぴゆぴなLv.36が広がり易いとすれば紳士らしい fact3: 「このぴゆぴなLv.36は広がり易い」ということは成り立つ
fact2 & fact3 -> int1: このぴゆぴなLv.36は紳士らしい; int1 & fact1 -> hypothesis;
fact2 & fact3 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: このぴゆぴなLv.36は口汚い fact2: もしもこのぴゆぴなLv.36が広がり易いとすれば紳士らしい fact3: 「このぴゆぴなLv.36は広がり易い」ということは成り立つ ; $hypothesis$ = 「このぴゆぴなLv.36は紳士らしいしおまけに口汚い」ということは成り立たない ; $proof$ = 
fact2 & fact3 -> int1: このぴゆぴなLv.36は紳士らしい; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 & fact3 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __DISPROVED__