「このまにゃまにゃLv.1は面白おかしいか狂おしい」ということは成り立つということはない
fact1: 仮にあのぽいぽわLv.49は天狗らしいとしたら「このまにゃまにゃLv.1は面白おかしい」ということは確かである fact2: あのぽいぽわLv.49は天狗らしい
fact1 & fact2 -> int1: このまにゃまにゃLv.1は面白おかしい; int1 -> hypothesis;
fact1 & fact2 -> int1: {B}{b}; int1 -> hypothesis;
$facts$ = fact1: 仮にあのぽいぽわLv.49は天狗らしいとしたら「このまにゃまにゃLv.1は面白おかしい」ということは確かである fact2: あのぽいぽわLv.49は天狗らしい ; $hypothesis$ = 「このまにゃまにゃLv.1は面白おかしいか狂おしい」ということは成り立つということはない ; $proof$ = 
fact1 & fact2 -> int1: このまにゃまにゃLv.1は面白おかしい; int1 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: {B}{b}; int1 -> hypothesis; __DISPROVED__