あのぷわぷなLv.48は愛らしくて低い
fact1: もしそのぷえぷねLv.4は塩っ辛いとすると「あのぴいぴよLv.41は引き起こし易い」ということは成り立つ fact2: 「もしもそのぷえぷねLv.4が辛抱強いならばあのぴいぴよLv.41は引き起こし易い」ということは本当である fact3: すべてのモンスターは辛抱強いか塩っ辛いかもしくは両方ともだ fact4: 仮にあのぴいぴよLv.41が引き起こし易いとすればあのぷわぷなLv.48は愛らしい fact5: あのぷわぷなLv.48は低い
fact3 -> int1: そのぷえぷねLv.4は辛抱強いかまたは塩っ辛い; int1 & fact2 & fact1 -> int2: あのぴいぴよLv.41は引き起こし易い; int2 & fact4 -> int3: あのぷわぷなLv.48は愛らしい; int3 & fact5 -> hypothesis;
fact3 -> int1: ({A}{a} v {B}{a}); int1 & fact2 & fact1 -> int2: {C}{c}; int2 & fact4 -> int3: {D}{b}; int3 & fact5 -> hypothesis;
$facts$ = fact1: もしそのぷえぷねLv.4は塩っ辛いとすると「あのぴいぴよLv.41は引き起こし易い」ということは成り立つ fact2: 「もしもそのぷえぷねLv.4が辛抱強いならばあのぴいぴよLv.41は引き起こし易い」ということは本当である fact3: すべてのモンスターは辛抱強いか塩っ辛いかもしくは両方ともだ fact4: 仮にあのぴいぴよLv.41が引き起こし易いとすればあのぷわぷなLv.48は愛らしい fact5: あのぷわぷなLv.48は低い ; $hypothesis$ = あのぷわぷなLv.48は愛らしくて低い ; $proof$ = 
fact3 -> int1: そのぷえぷねLv.4は辛抱強いかまたは塩っ辛い; int1 & fact2 & fact1 -> int2: あのぴいぴよLv.41は引き起こし易い; int2 & fact4 -> int3: あのぷわぷなLv.48は愛らしい; int3 & fact5 -> hypothesis; __PROVED__
fact3 -> int1: ({A}{a} v {B}{a}); int1 & fact2 & fact1 -> int2: {C}{c}; int2 & fact4 -> int3: {D}{b}; int3 & fact5 -> hypothesis; __PROVED__