「あのまよまちょLv.30は白っぽくて見難い」ということは事実と異なる
fact1: 「もし仮に「あのみわみにLv.65は移ろい易いということはない」ということは確かであるとすればあのまよまちょLv.30は白っぽくて見難い」ということは真実だ fact2: あのまにゃまちょLv.29は挙行する fact3: あのまにゃまちょLv.29は自然らしい fact4: もしもなんらかのモンスターは自然らしくないならば「白っぽいしそれに見難い」ということは成り立たない fact5: もしあのまにゃまちょLv.29が自然らしいしかつそれが挙行すればあのみわみにLv.65は移ろい易くない
fact3 & fact2 -> int1: あのまにゃまちょLv.29が自然らしいしその上それは挙行する; int1 & fact5 -> int2: あのみわみにLv.65は移ろい易くない; int2 & fact1 -> hypothesis;
fact3 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> int2: ¬{C}{b}; int2 & fact1 -> hypothesis;
「あのまよまちょLv.30は白っぽくて見難い」ということは事実と異なる
fact6 -> int3: もしもあのまよまちょLv.30は自然らしくないなら「白っぽいしさらに見難い」ということは事実と異なる;
$facts$ = fact1: 「もし仮に「あのみわみにLv.65は移ろい易いということはない」ということは確かであるとすればあのまよまちょLv.30は白っぽくて見難い」ということは真実だ fact2: あのまにゃまちょLv.29は挙行する fact3: あのまにゃまちょLv.29は自然らしい fact4: もしもなんらかのモンスターは自然らしくないならば「白っぽいしそれに見難い」ということは成り立たない fact5: もしあのまにゃまちょLv.29が自然らしいしかつそれが挙行すればあのみわみにLv.65は移ろい易くない ; $hypothesis$ = 「あのまよまちょLv.30は白っぽくて見難い」ということは事実と異なる ; $proof$ = 
fact3 & fact2 -> int1: あのまにゃまちょLv.29が自然らしいしその上それは挙行する; int1 & fact5 -> int2: あのみわみにLv.65は移ろい易くない; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> int2: ¬{C}{b}; int2 & fact1 -> hypothesis; __DISPROVED__