このぷちゃぷちょLv.58は粘っこい
fact1: なにがしかのモンスターは程近い fact2: このみにみにLv.57が定義するならあのぴなぴよLv.76は粘っこくない fact3: あのぷゆぷにょLv.67が潜めるとしたらあのぴなぴよLv.76は疲労し易くない fact4: 仮に「程近い」モンスターがいるとしたらあのぴなぴよLv.76は定義するか潜める fact5: 「定義する」モンスターはいる fact6: もしもあのぷゆぷにょLv.67が疲労し易いならばこのみにみにLv.57は粘っこい fact7: もしあのぴなぴよLv.76が程近いが定義しないとすればこのぷちゃぷちょLv.58は粘っこくない fact8: もしあのぴなぴよLv.76が定義するとすればあのぷゆぷにょLv.67は疲労し易い fact9: 仮にこのみにみにLv.57が粘っこいならばこのぷちゃぷちょLv.58は溶け難くないけど粘っこい fact10: このぷちゃぷちょLv.58は定義する fact11: 仮にあのぴなぴよLv.76が潜めるとしたらあのぷゆぷにょLv.67は疲労し易い
fact1 & fact4 -> int1: あのぴなぴよLv.76は定義するか潜めるかあるいは両方ともだ; int1 & fact8 & fact11 -> int2: 「あのぷゆぷにょLv.67は疲労し易い」ということは事実と異ならない; int2 & fact6 -> int3: このみにみにLv.57は粘っこい; int3 & fact9 -> int4: このぷちゃぷちょLv.58は溶け難くないけれど粘っこい; int4 -> hypothesis;
fact1 & fact4 -> int1: ({B}{a} v {C}{a}); int1 & fact8 & fact11 -> int2: {D}{b}; int2 & fact6 -> int3: {E}{c}; int3 & fact9 -> int4: (¬{F}{d} & {E}{d}); int4 -> hypothesis;
このぷちゃぷちょLv.58は粘っこくない
$facts$ = fact1: なにがしかのモンスターは程近い fact2: このみにみにLv.57が定義するならあのぴなぴよLv.76は粘っこくない fact3: あのぷゆぷにょLv.67が潜めるとしたらあのぴなぴよLv.76は疲労し易くない fact4: 仮に「程近い」モンスターがいるとしたらあのぴなぴよLv.76は定義するか潜める fact5: 「定義する」モンスターはいる fact6: もしもあのぷゆぷにょLv.67が疲労し易いならばこのみにみにLv.57は粘っこい fact7: もしあのぴなぴよLv.76が程近いが定義しないとすればこのぷちゃぷちょLv.58は粘っこくない fact8: もしあのぴなぴよLv.76が定義するとすればあのぷゆぷにょLv.67は疲労し易い fact9: 仮にこのみにみにLv.57が粘っこいならばこのぷちゃぷちょLv.58は溶け難くないけど粘っこい fact10: このぷちゃぷちょLv.58は定義する fact11: 仮にあのぴなぴよLv.76が潜めるとしたらあのぷゆぷにょLv.67は疲労し易い ; $hypothesis$ = このぷちゃぷちょLv.58は粘っこい ; $proof$ = 
fact1 & fact4 -> int1: あのぴなぴよLv.76は定義するか潜めるかあるいは両方ともだ; int1 & fact8 & fact11 -> int2: 「あのぷゆぷにょLv.67は疲労し易い」ということは事実と異ならない; int2 & fact6 -> int3: このみにみにLv.57は粘っこい; int3 & fact9 -> int4: このぷちゃぷちょLv.58は溶け難くないけれど粘っこい; int4 -> hypothesis; __PROVED__
fact1 & fact4 -> int1: ({B}{a} v {C}{a}); int1 & fact8 & fact11 -> int2: {D}{b}; int2 & fact6 -> int3: {E}{c}; int3 & fact9 -> int4: (¬{F}{d} & {E}{d}); int4 -> hypothesis; __PROVED__