あのぴゆぴねLv.99は華々しいし受け辛い
fact1: そのもやもなLv.57は偉くない fact2: あのぴゆぴねLv.99は華々しい fact3: とあるモンスターは偉くないとすると「それは華々しいしかつそれは受け辛い」ということは成り立たない fact4: 「仮にとあるモンスターはうら若いなら「それはまあるくないしそれにそれは悔しい」ということは成り立たない」ということは成り立つ fact5: もしそのもやもなLv.57が偉くないとしたらあのぴゆぴねLv.99は繋がり兼ねないかもしくは苦し fact6: もし仮にあのぴゆぴねLv.99が繋がり兼ねないかもしくは苦しかあるいはどちらもなら受け辛い
fact5 & fact1 -> int1: あのぴゆぴねLv.99は繋がり兼ねないかあるいはそれは苦し; int1 & fact6 -> int2: 「あのぴゆぴねLv.99は受け辛い」ということは真実である; int2 & fact2 -> hypothesis;
fact5 & fact1 -> int1: (¬{AA}{b} v {AB}{b}); int1 & fact6 -> int2: {B}{b}; int2 & fact2 -> hypothesis;
「あのぴゆぴねLv.99が華々しいしその上それは受け辛い」ということは偽である
fact7 -> int3: もしあのぴゆぴねLv.99は偉くないとすると「それは華々しくておまけに受け辛い」ということは成り立たない; fact8 -> int4: もしもそのもやもなLv.57はうら若いなら「「そのもやもなLv.57はまあるくないがそれは悔しい」ということは成り立たない」ということは成り立つ;
$facts$ = fact1: そのもやもなLv.57は偉くない fact2: あのぴゆぴねLv.99は華々しい fact3: とあるモンスターは偉くないとすると「それは華々しいしかつそれは受け辛い」ということは成り立たない fact4: 「仮にとあるモンスターはうら若いなら「それはまあるくないしそれにそれは悔しい」ということは成り立たない」ということは成り立つ fact5: もしそのもやもなLv.57が偉くないとしたらあのぴゆぴねLv.99は繋がり兼ねないかもしくは苦し fact6: もし仮にあのぴゆぴねLv.99が繋がり兼ねないかもしくは苦しかあるいはどちらもなら受け辛い ; $hypothesis$ = あのぴゆぴねLv.99は華々しいし受け辛い ; $proof$ = 
fact5 & fact1 -> int1: あのぴゆぴねLv.99は繋がり兼ねないかあるいはそれは苦し; int1 & fact6 -> int2: 「あのぴゆぴねLv.99は受け辛い」ということは真実である; int2 & fact2 -> hypothesis; __PROVED__
fact5 & fact1 -> int1: (¬{AA}{b} v {AB}{b}); int1 & fact6 -> int2: {B}{b}; int2 & fact2 -> hypothesis; __PROVED__