そのぷちゅぷえLv.51は長たらしくない
fact1: そのぷちゅぷえLv.51は水っぽい fact2: もしそのぷちゅぷちょLv.85は広ーいしかつ麗々しいとしたらそれは御詳しくない fact3: 「全てのモンスターが広ししその上それはかわゆい」ということは確かである fact4: 仮にそのぷちゅぷえLv.51がかわゆくて水っぽいならばそれは長たらしいということはない
fact3 -> int1: そのぷちゅぷえLv.51は広ししかわゆい; int1 -> int2: そのぷちゅぷえLv.51はかわゆい; int2 & fact1 -> int3: そのぷちゅぷえLv.51はかわゆくて水っぽい; int3 & fact4 -> hypothesis;
fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact1 -> int3: ({B}{a} & {C}{a}); int3 & fact4 -> hypothesis;
$facts$ = fact1: そのぷちゅぷえLv.51は水っぽい fact2: もしそのぷちゅぷちょLv.85は広ーいしかつ麗々しいとしたらそれは御詳しくない fact3: 「全てのモンスターが広ししその上それはかわゆい」ということは確かである fact4: 仮にそのぷちゅぷえLv.51がかわゆくて水っぽいならばそれは長たらしいということはない ; $hypothesis$ = そのぷちゅぷえLv.51は長たらしくない ; $proof$ = 
fact3 -> int1: そのぷちゅぷえLv.51は広ししかわゆい; int1 -> int2: そのぷちゅぷえLv.51はかわゆい; int2 & fact1 -> int3: そのぷちゅぷえLv.51はかわゆくて水っぽい; int3 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact1 -> int3: ({B}{a} & {C}{a}); int3 & fact4 -> hypothesis; __PROVED__