「このぴにゅぴちゅLv.99が苛立たしいしその上それは入れる」ということは事実と異なる
fact1: このぴにゅぴちゅLv.99は苛立たしい fact2: もしあのもにもよLv.60が一するならこのぴにゅぴちゅLv.99は入れる fact3: あのもにもよLv.60は酸っぱい fact4: 「あのもにもよLv.60は酸っぱいしそれに一する」ということは正しい fact5: もし何らかのモンスターが一するということはないならばそれは苛立たしいしかつ酸っぱい
fact4 -> int1: あのもにもよLv.60は一する; int1 & fact2 -> int2: このぴにゅぴちゅLv.99は入れる; int2 & fact1 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact1 -> hypothesis;
そのみえみにょLv.92は苛立たしい
fact6 -> int3: もしそのみえみにょLv.92は一しないなら「そのみえみにょLv.92は苛立たしいし加えて酸っぱい」ということは真実である;
$facts$ = fact1: このぴにゅぴちゅLv.99は苛立たしい fact2: もしあのもにもよLv.60が一するならこのぴにゅぴちゅLv.99は入れる fact3: あのもにもよLv.60は酸っぱい fact4: 「あのもにもよLv.60は酸っぱいしそれに一する」ということは正しい fact5: もし何らかのモンスターが一するということはないならばそれは苛立たしいしかつ酸っぱい ; $hypothesis$ = 「このぴにゅぴちゅLv.99が苛立たしいしその上それは入れる」ということは事実と異なる ; $proof$ = 
fact4 -> int1: あのもにもよLv.60は一する; int1 & fact2 -> int2: このぴにゅぴちゅLv.99は入れる; int2 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact1 -> hypothesis; __DISPROVED__