このみちゃみねLv.85は理解し易いということはない
fact1: このみちゃみねLv.85は損害賠償しない fact2: あのまえまわLv.15は損害賠償する fact3: もしそのもちゃものLv.62が安しないし所収しないとしたらあのまえまわLv.15は所収しない fact4: もし仮に何らかのモンスターが損害賠償しないとしたら掛け易いしそれは理解し易くない
fact4 -> int1: もし仮にこのみちゃみねLv.85が損害賠償しないならそれが掛け易いしその上理解し易くない; int1 & fact1 -> int2: このみちゃみねLv.85は掛け易いけど理解し易くない; int2 -> hypothesis;
fact4 -> int1: ¬{A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: ({AA}{aa} & ¬{AB}{aa}); int2 -> hypothesis;
あのまえまわLv.15は損害賠償するけど所収するということはない
$facts$ = fact1: このみちゃみねLv.85は損害賠償しない fact2: あのまえまわLv.15は損害賠償する fact3: もしそのもちゃものLv.62が安しないし所収しないとしたらあのまえまわLv.15は所収しない fact4: もし仮に何らかのモンスターが損害賠償しないとしたら掛け易いしそれは理解し易くない ; $hypothesis$ = このみちゃみねLv.85は理解し易いということはない ; $proof$ = 
fact4 -> int1: もし仮にこのみちゃみねLv.85が損害賠償しないならそれが掛け易いしその上理解し易くない; int1 & fact1 -> int2: このみちゃみねLv.85は掛け易いけど理解し易くない; int2 -> hypothesis; __PROVED__
fact4 -> int1: ¬{A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: ({AA}{aa} & ¬{AB}{aa}); int2 -> hypothesis; __PROVED__