「あのまわまにLv.39は惨めったらしくない」ということは偽でない
fact1: あのぴいぴやLv.47は百姓らしい fact2: 仮に「あのぴいぴやLv.47は百姓らしい」ということは成り立つとするとこのみわみなLv.94は練習する fact3: このみわみなLv.94は惨めったらしい fact4: このみわみなLv.94が練習するとするとこのみわみなLv.94は得難い
fact2 & fact1 -> int1: このみわみなLv.94は練習する; int1 & fact4 -> int2: このみわみなLv.94は得難い;
fact2 & fact1 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{b};
$facts$ = fact1: あのぴいぴやLv.47は百姓らしい fact2: 仮に「あのぴいぴやLv.47は百姓らしい」ということは成り立つとするとこのみわみなLv.94は練習する fact3: このみわみなLv.94は惨めったらしい fact4: このみわみなLv.94が練習するとするとこのみわみなLv.94は得難い ; $hypothesis$ = 「あのまわまにLv.39は惨めったらしくない」ということは偽でない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__