このぷやぷよLv.93は黒い
fact1: もし仮にこのぷやぷよLv.93が理屈っぽいとすればこのぷやぷよLv.93は黒い fact2: このもちゃもにゃLv.84は聴講するしそれにそれは力強い fact3: もしもこのもくもやLv.43が理屈っぽいならばこのもくもやLv.43は聴講しない fact4: もし仮に「なにがしかのモンスターは俗っぽいけれどそれは仰々しくない」ということは成り立つということはないとすると聴講しない fact5: 仰々しいモンスターは聴講しない fact6: 「このもくもやLv.43は俗っぽい一方で仰々しくない」ということは誤りである fact7: 仮にこのもくもやLv.43が聴講しないとしたらこのぷやぷよLv.93は理屈っぽくてさらに聴講する
fact4 -> int1: 仮に「このもくもやLv.43は俗っぽいけど仰々しくない」ということは成り立たないとするとそれは聴講するということはない; int1 & fact6 -> int2: このもくもやLv.43は聴講しない; int2 & fact7 -> int3: このぷやぷよLv.93は理屈っぽいし聴講する; int3 -> int4: このぷやぷよLv.93は理屈っぽい; int4 & fact1 -> hypothesis;
fact4 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact6 -> int2: ¬{B}{aa}; int2 & fact7 -> int3: ({A}{a} & {B}{a}); int3 -> int4: {A}{a}; int4 & fact1 -> hypothesis;
このもちゃもにゃLv.84は黒いしおまけに力強い
fact8 -> int5: このもちゃもにゃLv.84は力強い;
$facts$ = fact1: もし仮にこのぷやぷよLv.93が理屈っぽいとすればこのぷやぷよLv.93は黒い fact2: このもちゃもにゃLv.84は聴講するしそれにそれは力強い fact3: もしもこのもくもやLv.43が理屈っぽいならばこのもくもやLv.43は聴講しない fact4: もし仮に「なにがしかのモンスターは俗っぽいけれどそれは仰々しくない」ということは成り立つということはないとすると聴講しない fact5: 仰々しいモンスターは聴講しない fact6: 「このもくもやLv.43は俗っぽい一方で仰々しくない」ということは誤りである fact7: 仮にこのもくもやLv.43が聴講しないとしたらこのぷやぷよLv.93は理屈っぽくてさらに聴講する ; $hypothesis$ = このぷやぷよLv.93は黒い ; $proof$ = 
fact4 -> int1: 仮に「このもくもやLv.43は俗っぽいけど仰々しくない」ということは成り立たないとするとそれは聴講するということはない; int1 & fact6 -> int2: このもくもやLv.43は聴講しない; int2 & fact7 -> int3: このぷやぷよLv.93は理屈っぽいし聴講する; int3 -> int4: このぷやぷよLv.93は理屈っぽい; int4 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact6 -> int2: ¬{B}{aa}; int2 & fact7 -> int3: ({A}{a} & {B}{a}); int3 -> int4: {A}{a}; int4 & fact1 -> hypothesis; __PROVED__