あのぴねぴちょLv.86は乳臭くない
fact1: 仮にそのもやもなLv.63はすりすりしない一方で予測し難いなら「そのぴわぴねLv.66は取り出し易い」ということは成り立つ fact2: もしこのまちゃまいLv.17がすりすりするとすればそのもやもなLv.63はすりすりしないけど予測し難い fact3: そのぴにゅぴちゃLv.97は絶え間無いが低くない fact4: もし仮にそのぴにゅぴちゃLv.97は絶え間無いとしたら「このまちゃまいLv.17はすりすりする」ということは成り立つ fact5: 仮にそのぴわぴねLv.66が取り出し易いならあのぴねぴちょLv.86は乳臭い
fact3 -> int1: そのぴにゅぴちゃLv.97は絶え間無い; int1 & fact4 -> int2: このまちゃまいLv.17はすりすりする; int2 & fact2 -> int3: そのもやもなLv.63はすりすりしないがしかし予測し難い; int3 & fact1 -> int4: そのぴわぴねLv.66は取り出し易い; int4 & fact5 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact2 -> int3: (¬{C}{c} & {D}{c}); int3 & fact1 -> int4: {E}{d}; int4 & fact5 -> hypothesis;
$facts$ = fact1: 仮にそのもやもなLv.63はすりすりしない一方で予測し難いなら「そのぴわぴねLv.66は取り出し易い」ということは成り立つ fact2: もしこのまちゃまいLv.17がすりすりするとすればそのもやもなLv.63はすりすりしないけど予測し難い fact3: そのぴにゅぴちゃLv.97は絶え間無いが低くない fact4: もし仮にそのぴにゅぴちゃLv.97は絶え間無いとしたら「このまちゃまいLv.17はすりすりする」ということは成り立つ fact5: 仮にそのぴわぴねLv.66が取り出し易いならあのぴねぴちょLv.86は乳臭い ; $hypothesis$ = あのぴねぴちょLv.86は乳臭くない ; $proof$ = 
fact3 -> int1: そのぴにゅぴちゃLv.97は絶え間無い; int1 & fact4 -> int2: このまちゃまいLv.17はすりすりする; int2 & fact2 -> int3: そのもやもなLv.63はすりすりしないがしかし予測し難い; int3 & fact1 -> int4: そのぴわぴねLv.66は取り出し易い; int4 & fact5 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact2 -> int3: (¬{C}{c} & {D}{c}); int3 & fact1 -> int4: {E}{d}; int4 & fact5 -> hypothesis; __DISPROVED__