このまくまちゃLv.84は焦げ臭い
fact1: それはブラバスらしくないかあるいはそれは恥ずかしかまたは両方ともであるというモンスターはない fact2: もし「このまくまちゃLv.84はブラバスらしいということはないかもしくはそれは恥ずかし」ということは事実と異なればこのまくまちゃLv.84は焦げ臭くない
fact1 -> int1: 「「このまくまちゃLv.84はブラバスらしくないか恥ずかしかもしくはどちらもだ」ということは間違っている」ということは成り立つ; int1 & fact2 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{aa} v {AB}{aa}); int1 & fact2 -> hypothesis;
$facts$ = fact1: それはブラバスらしくないかあるいはそれは恥ずかしかまたは両方ともであるというモンスターはない fact2: もし「このまくまちゃLv.84はブラバスらしいということはないかもしくはそれは恥ずかし」ということは事実と異なればこのまくまちゃLv.84は焦げ臭くない ; $hypothesis$ = このまくまちゃLv.84は焦げ臭い ; $proof$ = 
fact1 -> int1: 「「このまくまちゃLv.84はブラバスらしくないか恥ずかしかもしくはどちらもだ」ということは間違っている」ということは成り立つ; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬(¬{AA}{aa} v {AB}{aa}); int1 & fact2 -> hypothesis; __DISPROVED__