あのまのまえLv.3は育て易くない
fact1: 全てのモンスターは育て易い fact2: あのみやみちゅLv.26は育て易い fact3: このまにゅまわLv.9は育て易い fact4: もしも「「あのみにょみにょLv.86は育て易いけど下ろし易いということはない」ということは偽だ」ということは本当ならばあのまのまえLv.3は育て易くない fact5: あのまのまえLv.3は騒がしい fact6: あのまのまえLv.3は意地悪い
fact1 -> int1: 全てのモンスターは育て易い; int1 -> hypothesis;
fact1 -> int1: (x): {A}x; int1 -> hypothesis;
あのまのまえLv.3は育て易くない
$facts$ = fact1: 全てのモンスターは育て易い fact2: あのみやみちゅLv.26は育て易い fact3: このまにゅまわLv.9は育て易い fact4: もしも「「あのみにょみにょLv.86は育て易いけど下ろし易いということはない」ということは偽だ」ということは本当ならばあのまのまえLv.3は育て易くない fact5: あのまのまえLv.3は騒がしい fact6: あのまのまえLv.3は意地悪い ; $hypothesis$ = あのまのまえLv.3は育て易くない ; $proof$ = 
fact1 -> int1: 全てのモンスターは育て易い; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__