そのぷいぷくLv.47は学ぶということはないがしかし街らしい
fact1: あのぷにゃぷなLv.3が考え辛くないとしたらそのぷいぷくLv.47は学ばない一方で街らしい fact2: 「そのぷいぷくLv.47は学ばない」ということは偽でない fact3: そのみいみにゅLv.89は酸っぱくなくてまたそれは不足し易いということはない fact4: 仮にそのみいみにゅLv.89が酸っぱくないとすればあのぷにゃぷなLv.3は考え辛いということはない fact5: 不足し易いかあるいは考え辛いかまたはどちらもなモンスターは苦くない
fact3 -> int1: そのみいみにゅLv.89は酸っぱくない; int1 & fact4 -> int2: あのぷにゃぷなLv.3は考え辛くない; int2 & fact1 -> hypothesis;
fact3 -> int1: ¬{A}{a}; int1 & fact4 -> int2: ¬{C}{b}; int2 & fact1 -> hypothesis;
そのぷいぷくLv.47は苦いということはない一方で酸っぱい
fact6 -> int3: もしそのぷいぷくLv.47が不足し易いかあるいはそれが考え辛いかあるいは両方であるとすればそのぷいぷくLv.47は苦くない;
$facts$ = fact1: あのぷにゃぷなLv.3が考え辛くないとしたらそのぷいぷくLv.47は学ばない一方で街らしい fact2: 「そのぷいぷくLv.47は学ばない」ということは偽でない fact3: そのみいみにゅLv.89は酸っぱくなくてまたそれは不足し易いということはない fact4: 仮にそのみいみにゅLv.89が酸っぱくないとすればあのぷにゃぷなLv.3は考え辛いということはない fact5: 不足し易いかあるいは考え辛いかまたはどちらもなモンスターは苦くない ; $hypothesis$ = そのぷいぷくLv.47は学ぶということはないがしかし街らしい ; $proof$ = 
fact3 -> int1: そのみいみにゅLv.89は酸っぱくない; int1 & fact4 -> int2: あのぷにゃぷなLv.3は考え辛くない; int2 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: ¬{A}{a}; int1 & fact4 -> int2: ¬{C}{b}; int2 & fact1 -> hypothesis; __PROVED__