「このまゆまちょLv.29は早いということはないがそれは嫌らしい」ということは事実でない
fact1: 仮にこのみにゅみなLv.50が早いとすればこのまゆまちょLv.29は早くないが嫌らしい fact2: もしも「あのぷやぷねLv.54は騙され易い」ということは正しいならこのみにゅみなLv.50は早い fact3: もし仮にこのみにゅみなLv.50が早いとすればこのまゆまちょLv.29は嫌らしい fact4: あのぷやぷねLv.54は騙され易いしそれは軽い fact5: あのぷやぷねLv.54は軽い fact6: 早くないモンスターは騙され易いしおまけに軽い
fact4 -> int1: あのぷやぷねLv.54は騙され易い; int1 & fact2 -> int2: このみにゅみなLv.50は早い; int2 & fact1 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact1 -> hypothesis;
「あのぴにゅぴちゅLv.99は軽い」ということは成り立つ
fact7 -> int3: もしあのぴにゅぴちゅLv.99が早くないとすると騙され易いしかつ軽い;
$facts$ = fact1: 仮にこのみにゅみなLv.50が早いとすればこのまゆまちょLv.29は早くないが嫌らしい fact2: もしも「あのぷやぷねLv.54は騙され易い」ということは正しいならこのみにゅみなLv.50は早い fact3: もし仮にこのみにゅみなLv.50が早いとすればこのまゆまちょLv.29は嫌らしい fact4: あのぷやぷねLv.54は騙され易いしそれは軽い fact5: あのぷやぷねLv.54は軽い fact6: 早くないモンスターは騙され易いしおまけに軽い ; $hypothesis$ = 「このまゆまちょLv.29は早いということはないがそれは嫌らしい」ということは事実でない ; $proof$ = 
fact4 -> int1: あのぷやぷねLv.54は騙され易い; int1 & fact2 -> int2: このみにゅみなLv.50は早い; int2 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact1 -> hypothesis; __DISPROVED__