「あのぷよぷねLv.0は食べ終わらないしかつ結び付き易くない」ということは成り立たない
fact1: 「苛立たしい」モンスターはいる fact2: もしもとあるモンスターは苛立たしいならば「あのぷよぷねLv.0は食べ終わるということはないしさらに結び付き易くない」ということは間違っている fact3: 「「食べ終わる」ということは本当な」モンスターはいる
fact1 -> int1: 「苛立たしい」モンスターはいる; int1 & fact2 -> hypothesis;
fact1 -> int1: (Ex): {A}x; int1 & fact2 -> hypothesis;
$facts$ = fact1: 「苛立たしい」モンスターはいる fact2: もしもとあるモンスターは苛立たしいならば「あのぷよぷねLv.0は食べ終わるということはないしさらに結び付き易くない」ということは間違っている fact3: 「「食べ終わる」ということは本当な」モンスターはいる ; $hypothesis$ = 「あのぷよぷねLv.0は食べ終わらないしかつ結び付き易くない」ということは成り立たない ; $proof$ = 
fact1 -> int1: 「苛立たしい」モンスターはいる; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: (Ex): {A}x; int1 & fact2 -> hypothesis; __PROVED__