あのみちゃみやLv.15は甘酸っぱくない
fact1: そのぷよぷえLv.49は示し易いということはない fact2: もし仮にそのぷよぷえLv.49が示し易くないとするとあのみちゃみやLv.15は長ったらしくないかあるいはそれは厭わしい fact3: 仮にあのみちゃみやLv.15が長ったらしくないかあるいはそれが厭わしいならあのみちゃみやLv.15は甘酸っぱいということはない
fact2 & fact1 -> int1: あのみちゃみやLv.15は長ったらしいということはないかまたはそれは厭わしいか両方だ; int1 & fact3 -> hypothesis;
fact2 & fact1 -> int1: (¬{AA}{b} v {AB}{b}); int1 & fact3 -> hypothesis;
$facts$ = fact1: そのぷよぷえLv.49は示し易いということはない fact2: もし仮にそのぷよぷえLv.49が示し易くないとするとあのみちゃみやLv.15は長ったらしくないかあるいはそれは厭わしい fact3: 仮にあのみちゃみやLv.15が長ったらしくないかあるいはそれが厭わしいならあのみちゃみやLv.15は甘酸っぱいということはない ; $hypothesis$ = あのみちゃみやLv.15は甘酸っぱくない ; $proof$ = 
fact2 & fact1 -> int1: あのみちゃみやLv.15は長ったらしいということはないかまたはそれは厭わしいか両方だ; int1 & fact3 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: (¬{AA}{b} v {AB}{b}); int1 & fact3 -> hypothesis; __PROVED__