「このまえまくLv.89はうざいしまた腐る」ということは成り立たない
fact1: もし仮に「私らしい」モンスターがいるならこのまえまくLv.89はうざいし加えてそれは腐る fact2: 「私らしい」モンスターはいる fact3: 仮に「私らしい」モンスターがいるとしたらこのまえまくLv.89はうざい
fact2 -> int1: 「私らしい」モンスターはいる; int1 & fact1 -> hypothesis;
fact2 -> int1: (Ex): {A}x; int1 & fact1 -> hypothesis;
$facts$ = fact1: もし仮に「私らしい」モンスターがいるならこのまえまくLv.89はうざいし加えてそれは腐る fact2: 「私らしい」モンスターはいる fact3: 仮に「私らしい」モンスターがいるとしたらこのまえまくLv.89はうざい ; $hypothesis$ = 「このまえまくLv.89はうざいしまた腐る」ということは成り立たない ; $proof$ = 
fact2 -> int1: 「私らしい」モンスターはいる; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: (Ex): {A}x; int1 & fact1 -> hypothesis; __DISPROVED__