「このまねまにLv.89はおっかしいしその上物欲しい」ということは嘘だ
fact1: もしもなにがしかのモンスターが蜻蛉返りすればこのまねまにLv.89はおっかしいしそれは物欲しい fact2: 「蜻蛉返りする」モンスターはいる
fact2 -> int1: 「蜻蛉返りする」モンスターはいる; int1 & fact1 -> hypothesis;
fact2 -> int1: (Ex): {A}x; int1 & fact1 -> hypothesis;
$facts$ = fact1: もしもなにがしかのモンスターが蜻蛉返りすればこのまねまにLv.89はおっかしいしそれは物欲しい fact2: 「蜻蛉返りする」モンスターはいる ; $hypothesis$ = 「このまねまにLv.89はおっかしいしその上物欲しい」ということは嘘だ ; $proof$ = 
fact2 -> int1: 「蜻蛉返りする」モンスターはいる; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: (Ex): {A}x; int1 & fact1 -> hypothesis; __DISPROVED__