あのまちゃまわLv.75は素っ気ないということはない
fact1: そのぴゆぴわLv.89は手酷い fact2: あのまにゅまのLv.39は手酷い fact3: あのまにゅまのLv.39が胸苦しくてまた手酷いとするとあのまちゃまわLv.75は素っ気なくない fact4: あのまにゅまのLv.39は不足し易いししかもそれは湿気る fact5: 仮にこのぷいぷゆLv.99が素っ気ないとすればあのまにゅまのLv.39は素っ気ない fact6: 仮にあのまにゅまのLv.39が素っ気ないならあのまちゃまわLv.75は素っ気ない fact7: もしもあのまゆまわLv.42が手酷くないとしたらこのぷいぷゆLv.99は不足し易いが胸苦しくない
fact4 -> int1: あのまにゅまのLv.39は不足し易い;
fact4 -> int1: {A}{a};
あのまちゃまわLv.75は素っ気ない
$facts$ = fact1: そのぴゆぴわLv.89は手酷い fact2: あのまにゅまのLv.39は手酷い fact3: あのまにゅまのLv.39が胸苦しくてまた手酷いとするとあのまちゃまわLv.75は素っ気なくない fact4: あのまにゅまのLv.39は不足し易いししかもそれは湿気る fact5: 仮にこのぷいぷゆLv.99が素っ気ないとすればあのまにゅまのLv.39は素っ気ない fact6: 仮にあのまにゅまのLv.39が素っ気ないならあのまちゃまわLv.75は素っ気ない fact7: もしもあのまゆまわLv.42が手酷くないとしたらこのぷいぷゆLv.99は不足し易いが胸苦しくない ; $hypothesis$ = あのまちゃまわLv.75は素っ気ないということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__