「「あのぷやぷえLv.91は拍手するししかもこよない」ということは間違いだ」ということは成り立つ
fact1: あのぷくぷにゅLv.92は描き易くてそれは稼働する fact2: もしもあのぷくぷにゅLv.92が描き易いならあのぷやぷえLv.91は拍手する fact3: あのぷやぷえLv.91はこよない
fact1 -> int1: あのぷくぷにゅLv.92は描き易い; int1 & fact2 -> int2: あのぷやぷえLv.91は拍手する; int2 & fact3 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
$facts$ = fact1: あのぷくぷにゅLv.92は描き易くてそれは稼働する fact2: もしもあのぷくぷにゅLv.92が描き易いならあのぷやぷえLv.91は拍手する fact3: あのぷやぷえLv.91はこよない ; $hypothesis$ = 「「あのぷやぷえLv.91は拍手するししかもこよない」ということは間違いだ」ということは成り立つ ; $proof$ = 
fact1 -> int1: あのぷくぷにゅLv.92は描き易い; int1 & fact2 -> int2: あのぷやぷえLv.91は拍手する; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact3 -> hypothesis; __DISPROVED__