そのぽのぽにょLv.77は力無くない
fact1: このもちゅもにLv.41は力無くない fact2: もし仮に醜くないモンスターが曲がればそれは現われ易い fact3: もし仮にあのぷよぷにLv.72が言い辛いしそれは鈍いとすると「そのぽのぽにょLv.77は力無くない」ということは確かである fact4: あのぷよぷにLv.72が現われ易いとするとそれは言い辛い fact5: 「あのぷよぷにLv.72は醜くないけどそれは曲がる」ということは確かだ fact6: あるモンスターは聞き辛いしそれに心細い fact7: あのもよもくLv.82が聞き辛くないならばあのもよもくLv.82は平ったいし更にイメージし易い fact8: あのぷよぷにLv.72は鈍い fact9: もし仮に何らかのモンスターが言い辛いとすれば力無い fact10: 仮にあのもよもくLv.82が平ったいとするとそのぽのぽにょLv.77は鈍い
fact2 -> int1: もしもあのぷよぷにLv.72は醜くないけど曲がるとすると現われ易い; int1 & fact5 -> int2: あのぷよぷにLv.72は現われ易い; int2 & fact4 -> int3: あのぷよぷにLv.72は言い辛い; int3 & fact8 -> int4: あのぷよぷにLv.72は言い辛いし加えて鈍い; int4 & fact3 -> hypothesis;
fact2 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact5 -> int2: {B}{aa}; int2 & fact4 -> int3: {A}{aa}; int3 & fact8 -> int4: ({A}{aa} & {C}{aa}); int4 & fact3 -> hypothesis;
「そのぽのぽにょLv.77は力無い」ということは成り立つ
fact14 -> int5: もしそのぽのぽにょLv.77が言い辛いとしたらそのぽのぽにょLv.77は力無い;
$facts$ = fact1: このもちゅもにLv.41は力無くない fact2: もし仮に醜くないモンスターが曲がればそれは現われ易い fact3: もし仮にあのぷよぷにLv.72が言い辛いしそれは鈍いとすると「そのぽのぽにょLv.77は力無くない」ということは確かである fact4: あのぷよぷにLv.72が現われ易いとするとそれは言い辛い fact5: 「あのぷよぷにLv.72は醜くないけどそれは曲がる」ということは確かだ fact6: あるモンスターは聞き辛いしそれに心細い fact7: あのもよもくLv.82が聞き辛くないならばあのもよもくLv.82は平ったいし更にイメージし易い fact8: あのぷよぷにLv.72は鈍い fact9: もし仮に何らかのモンスターが言い辛いとすれば力無い fact10: 仮にあのもよもくLv.82が平ったいとするとそのぽのぽにょLv.77は鈍い ; $hypothesis$ = そのぽのぽにょLv.77は力無くない ; $proof$ = 
fact2 -> int1: もしもあのぷよぷにLv.72は醜くないけど曲がるとすると現われ易い; int1 & fact5 -> int2: あのぷよぷにLv.72は現われ易い; int2 & fact4 -> int3: あのぷよぷにLv.72は言い辛い; int3 & fact8 -> int4: あのぷよぷにLv.72は言い辛いし加えて鈍い; int4 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact5 -> int2: {B}{aa}; int2 & fact4 -> int3: {A}{aa}; int3 & fact8 -> int4: ({A}{aa} & {C}{aa}); int4 & fact3 -> hypothesis; __PROVED__