「「もし仮に無声化し易くて違いなら煙たくない」モンスターはいる」ということは嘘だ
fact1: 仮に進化し易いモンスターが固しとするとそれは青しない fact2: もし無声化し易いモンスターが違いとすると煙たくない
fact2 -> int1: 仮に「そのまにゅまよLv.46は無声化し易いしかつそれは違い」ということは本当ならそのまにゅまよLv.46は煙たくない; int1 -> hypothesis;
fact2 -> int1: ({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
「仮に進化し易くて固しとしたら青しない」モンスターはいる
fact3 -> int2: もし仮にあのぷにゃぷにゅLv.7は進化し易いしその上固しとすれば「あのぷにゃぷにゅLv.7は青しない」ということは成り立つ; int2 -> hypothesis;
$facts$ = fact1: 仮に進化し易いモンスターが固しとするとそれは青しない fact2: もし無声化し易いモンスターが違いとすると煙たくない ; $hypothesis$ = 「「もし仮に無声化し易くて違いなら煙たくない」モンスターはいる」ということは嘘だ ; $proof$ = 
fact2 -> int1: 仮に「そのまにゅまよLv.46は無声化し易いしかつそれは違い」ということは本当ならそのまにゅまよLv.46は煙たくない; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: ({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __DISPROVED__