「「「「緩み易いし百姓らしくない」ということは成り立たないなら「こっ酷くない」ということは事実である」モンスターはいる」ということは正しい」ということは真実でない
fact1: もしも「あのぷわぷにゅLv.0は捕らえ易いけれどこっ酷くない」ということは成り立たないとすると「それは移ろい易いということはない」ということは確かだ fact2: 「緩み易いけれど百姓らしくないとするとこっ酷いということはない」モンスターはいる fact3: もしも「あるモンスターは緩み易いが百姓らしくない」ということは事実と異なるならそれはこっ酷いということはない fact4: もしも「あるモンスターは利用し易い一方できょろきょろしない」ということは嘘なら区別し易い
fact3 -> int1: 「このぽわぽちゅLv.76は緩み易いがしかしそれは百姓らしくない」ということは間違っているならこのぽわぽちゅLv.76はこっ酷くない; int1 -> hypothesis;
fact3 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もしも「あのぷわぷにゅLv.0は捕らえ易いけれどこっ酷くない」ということは成り立たないとすると「それは移ろい易いということはない」ということは確かだ fact2: 「緩み易いけれど百姓らしくないとするとこっ酷いということはない」モンスターはいる fact3: もしも「あるモンスターは緩み易いが百姓らしくない」ということは事実と異なるならそれはこっ酷いということはない fact4: もしも「あるモンスターは利用し易い一方できょろきょろしない」ということは嘘なら区別し易い ; $hypothesis$ = 「「「「緩み易いし百姓らしくない」ということは成り立たないなら「こっ酷くない」ということは事実である」モンスターはいる」ということは正しい」ということは真実でない ; $proof$ = 
fact3 -> int1: 「このぽわぽちゅLv.76は緩み易いがしかしそれは百姓らしくない」ということは間違っているならこのぽわぽちゅLv.76はこっ酷くない; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __DISPROVED__