あのぴねぴいLv.53は惨たらしくない
fact1: あのみちゃみねLv.91が懐かしいとしたらあのぴねぴいLv.53は惨たらしい fact2: 「「放り出すがしかし懐かしくない」ということは間違っている」モンスターはいる fact3: 「「ばあかしくないし遣り辛いということはない」ということは確かでない」モンスターはいる fact4: 「「ばあかしくないけれど遣り辛い」ということは偽である」モンスターはいる fact5: もし「「ばあかしいということはないし遣り辛いということはない」ということは事実と異なる」モンスターがいるとすればあのみちゃみねLv.91は放り出す fact6: 「ばあかしくなくて遣り辛くない」モンスターはいる fact7: もしも「あのみちゃみねLv.91は放り出す」ということは成り立つとすればあのみちゃみねLv.91は懐かしい
fact3 & fact5 -> int1: あのみちゃみねLv.91は放り出す; int1 & fact7 -> int2: あのみちゃみねLv.91は懐かしい; int2 & fact1 -> hypothesis;
fact3 & fact5 -> int1: {A}{a}; int1 & fact7 -> int2: {B}{a}; int2 & fact1 -> hypothesis;
$facts$ = fact1: あのみちゃみねLv.91が懐かしいとしたらあのぴねぴいLv.53は惨たらしい fact2: 「「放り出すがしかし懐かしくない」ということは間違っている」モンスターはいる fact3: 「「ばあかしくないし遣り辛いということはない」ということは確かでない」モンスターはいる fact4: 「「ばあかしくないけれど遣り辛い」ということは偽である」モンスターはいる fact5: もし「「ばあかしいということはないし遣り辛いということはない」ということは事実と異なる」モンスターがいるとすればあのみちゃみねLv.91は放り出す fact6: 「ばあかしくなくて遣り辛くない」モンスターはいる fact7: もしも「あのみちゃみねLv.91は放り出す」ということは成り立つとすればあのみちゃみねLv.91は懐かしい ; $hypothesis$ = あのぴねぴいLv.53は惨たらしくない ; $proof$ = 
fact3 & fact5 -> int1: あのみちゃみねLv.91は放り出す; int1 & fact7 -> int2: あのみちゃみねLv.91は懐かしい; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 & fact5 -> int1: {A}{a}; int1 & fact7 -> int2: {B}{a}; int2 & fact1 -> hypothesis; __DISPROVED__