「そのみにょみにゃLv.26は悲しし嬉しい」ということは事実と異なる
fact1: もし仮にあのまちょまいLv.69が久しならばそのみにょみにゃLv.26は嬉しい fact2: そのみにょみにゃLv.26は踏み入れる fact3: もしそのみにょみにゃLv.26は久しないとすると「悲しし嬉しい」ということは成り立たない fact4: 「仮にあるモンスターが忠実忠実しいとするとそれは嬉しい」ということは本当である fact5: そのみにょみにゃLv.26は忠実忠実しい fact6: なんらかのモンスターが踏み入れるということはないとしたらそれは悲ししそれにそれは忠実忠実しい fact7: もしそのみにょみにゃLv.26が忠実忠実しいしそれが踏み入れるなら久しない
fact5 & fact2 -> int1: そのみにょみにゃLv.26は忠実忠実しいし踏み入れる; int1 & fact7 -> int2: そのみにょみにゃLv.26は久しない; int2 & fact3 -> hypothesis;
fact5 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact7 -> int2: ¬{C}{a}; int2 & fact3 -> hypothesis;
そのまよまちゅLv.91は嬉しい
fact8 -> int3: 仮にそのまよまちゅLv.91が忠実忠実しいとしたらそのまよまちゅLv.91は嬉しい;
$facts$ = fact1: もし仮にあのまちょまいLv.69が久しならばそのみにょみにゃLv.26は嬉しい fact2: そのみにょみにゃLv.26は踏み入れる fact3: もしそのみにょみにゃLv.26は久しないとすると「悲しし嬉しい」ということは成り立たない fact4: 「仮にあるモンスターが忠実忠実しいとするとそれは嬉しい」ということは本当である fact5: そのみにょみにゃLv.26は忠実忠実しい fact6: なんらかのモンスターが踏み入れるということはないとしたらそれは悲ししそれにそれは忠実忠実しい fact7: もしそのみにょみにゃLv.26が忠実忠実しいしそれが踏み入れるなら久しない ; $hypothesis$ = 「そのみにょみにゃLv.26は悲しし嬉しい」ということは事実と異なる ; $proof$ = 
fact5 & fact2 -> int1: そのみにょみにゃLv.26は忠実忠実しいし踏み入れる; int1 & fact7 -> int2: そのみにょみにゃLv.26は久しない; int2 & fact3 -> hypothesis; __PROVED__
fact5 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact7 -> int2: ¬{C}{a}; int2 & fact3 -> hypothesis; __PROVED__