そのぽいぽやLv.45は探し易いかあるいは疎いかあるいは両方ともだ
fact1: そのぷくぷいLv.83は如何わしい fact2: 仮にそのぷくぷいLv.83は如何わしいとしたら「そのぽいぽやLv.45は探し易い」ということは事実だ fact3: なんらかのモンスターは如何わしくないならば「それは探し易いかあるいは疎いか両方ともだ」ということは成り立つということはない fact4: 生え始めるということはなくてそれは探し易いというモンスターはない fact5: 仮にそのぷくぷいLv.83が生み易いとすればそのぽいぽやLv.45は如何わしいということはない
fact2 & fact1 -> int1: 「そのぽいぽやLv.45は探し易い」ということは正しい; int1 -> hypothesis;
fact2 & fact1 -> int1: {B}{b}; int1 -> hypothesis;
「そのぽいぽやLv.45は探し易いかそれは疎いかどちらもだ」ということは本当でない
fact7 -> int2: 仮に「そのぽいぽやLv.45は如何わしくない」ということは成り立つとしたら「探し易いかもしくはそれは疎いかあるいは両方ともだ」ということは偽だ;
$facts$ = fact1: そのぷくぷいLv.83は如何わしい fact2: 仮にそのぷくぷいLv.83は如何わしいとしたら「そのぽいぽやLv.45は探し易い」ということは事実だ fact3: なんらかのモンスターは如何わしくないならば「それは探し易いかあるいは疎いか両方ともだ」ということは成り立つということはない fact4: 生え始めるということはなくてそれは探し易いというモンスターはない fact5: 仮にそのぷくぷいLv.83が生み易いとすればそのぽいぽやLv.45は如何わしいということはない ; $hypothesis$ = そのぽいぽやLv.45は探し易いかあるいは疎いかあるいは両方ともだ ; $proof$ = 
fact2 & fact1 -> int1: 「そのぽいぽやLv.45は探し易い」ということは正しい; int1 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: {B}{b}; int1 -> hypothesis; __PROVED__