あのもにもいLv.15は座り易くない
fact1: もし仮に「あのもにもいLv.15は見窄らしくないけど示し易い」ということは成り立たないとすればそれは座り易い fact2: あのもにもいLv.15は坐すしその上腹立たしい
fact2 -> int1: あのもにもいLv.15は腹立たしい;
fact2 -> int1: {B}{a};
$facts$ = fact1: もし仮に「あのもにもいLv.15は見窄らしくないけど示し易い」ということは成り立たないとすればそれは座り易い fact2: あのもにもいLv.15は坐すしその上腹立たしい ; $hypothesis$ = あのもにもいLv.15は座り易くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__