あのぷゆぷにLv.26は油っぽくない
fact1: あのまわまわLv.68は油っぽくない fact2: もしもあのぷゆぷにLv.26が吹き荒まないならそれは優しいし目新しい fact3: もしもど偉いモンスターが売り買いしないなら油っぽいということはない fact4: あのぷゆぷにLv.26は売り買いする fact5: 仮にあのぷゆぷにLv.26はど偉いけど優しくないならそれは油っぽい fact6: あのぷゆぷにLv.26はど偉いしさらに売り買いする
fact6 -> int1: あのぷゆぷにLv.26はど偉い;
fact6 -> int1: {A}{a};
あのぷゆぷにLv.26は油っぽくない
fact7 -> int2: もしもあのぷゆぷにLv.26がど偉いけれど売り買いしないならあのぷゆぷにLv.26は油っぽくない;
$facts$ = fact1: あのまわまわLv.68は油っぽくない fact2: もしもあのぷゆぷにLv.26が吹き荒まないならそれは優しいし目新しい fact3: もしもど偉いモンスターが売り買いしないなら油っぽいということはない fact4: あのぷゆぷにLv.26は売り買いする fact5: 仮にあのぷゆぷにLv.26はど偉いけど優しくないならそれは油っぽい fact6: あのぷゆぷにLv.26はど偉いしさらに売り買いする ; $hypothesis$ = あのぷゆぷにLv.26は油っぽくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__