「もし仮にあのぴわぴなLv.1が直通出来ればあのぴわぴなLv.1は対応し易くないがしかし直通出来る」ということは成り立たない
fact1: 仮にあのぴわぴなLv.1が捕らえ易くないとすればこのもにゃもにょLv.67は親しということはないしおまけに変化し易くない fact2: もしもあのぴわぴなLv.1が直通出来るなら対応し易くて直通出来る fact3: もし仮にこのもにゃもにょLv.67が親しないし更に変化し易いということはないとしたら「このもにゃもにょLv.67は燃え易いということはない」ということは確かである fact4: すべてのモンスターは親しか変化し易いかもしくは両方ともだ fact5: あのぴわぴなLv.1は対応し易くない fact6: もしも「あのぴわぴなLv.1は目まぐるしい」ということは確かであるとしたらあのぴわぴなLv.1は対応し易くておまけに目まぐるしい
void -> assump1: 以下のように仮定する。あのぴわぴなLv.1は直通出来る; fact5 & assump1 -> int1: あのぴわぴなLv.1は対応し易いということはないけどそれは直通出来る; [assump1] & int1 -> hypothesis;
void -> assump1: {B}{a}; fact5 & assump1 -> int1: (¬{A}{a} & {B}{a}); [assump1] & int1 -> hypothesis;
あのみよみやLv.7は対応し易くないがしかしそれは痒い
fact7 -> int2: 「あのみよみやLv.7は親しかあるいはそれは変化し易い」ということは確かである;
$facts$ = fact1: 仮にあのぴわぴなLv.1が捕らえ易くないとすればこのもにゃもにょLv.67は親しということはないしおまけに変化し易くない fact2: もしもあのぴわぴなLv.1が直通出来るなら対応し易くて直通出来る fact3: もし仮にこのもにゃもにょLv.67が親しないし更に変化し易いということはないとしたら「このもにゃもにょLv.67は燃え易いということはない」ということは確かである fact4: すべてのモンスターは親しか変化し易いかもしくは両方ともだ fact5: あのぴわぴなLv.1は対応し易くない fact6: もしも「あのぴわぴなLv.1は目まぐるしい」ということは確かであるとしたらあのぴわぴなLv.1は対応し易くておまけに目まぐるしい ; $hypothesis$ = 「もし仮にあのぴわぴなLv.1が直通出来ればあのぴわぴなLv.1は対応し易くないがしかし直通出来る」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぴわぴなLv.1は直通出来る; fact5 & assump1 -> int1: あのぴわぴなLv.1は対応し易いということはないけどそれは直通出来る; [assump1] & int1 -> hypothesis; __DISPROVED__
void -> assump1: {B}{a}; fact5 & assump1 -> int1: (¬{A}{a} & {B}{a}); [assump1] & int1 -> hypothesis; __DISPROVED__