このもやもちゅLv.11は移動し易くない
fact1: このぴいぴなLv.15が重しとしたらそのぴのぴわLv.60は飲み易い fact2: 仮にこのもちょもちょLv.19が見窄らしいならこのもやもちゅLv.11は移動し易い fact3: もしもあるモンスターは飲み易くないとすれば「片付け為さるということはない一方で重し」ということは誤っている fact4: もし何らかのモンスターが片付け為さらないとすると重しし飲み易い fact5: このぴいぴなLv.15は重ししさらに片付け為さる fact6: もし仮に「そのぴのぴわLv.60は飲み易くない」ということは誤っていれば味気無い fact7: もし仮にそのぴのぴわLv.60は味気無いとすると「このもちょもちょLv.19は見窄らしい」ということは正しい
fact5 -> int1: このぴいぴなLv.15は重し; int1 & fact1 -> int2: そのぴのぴわLv.60は飲み易い; int2 & fact6 -> int3: そのぴのぴわLv.60は味気無い; int3 & fact7 -> int4: このもちょもちょLv.19は見窄らしい; int4 & fact2 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact6 -> int3: {D}{b}; int3 & fact7 -> int4: {E}{c}; int4 & fact2 -> hypothesis;
このもやもちゅLv.11は移動し易くない
fact8 -> int5: もし仮にこのぴいぴなLv.15は飲み易いということはないならば「それは片付け為さらないが重し」ということは嘘だ;
$facts$ = fact1: このぴいぴなLv.15が重しとしたらそのぴのぴわLv.60は飲み易い fact2: 仮にこのもちょもちょLv.19が見窄らしいならこのもやもちゅLv.11は移動し易い fact3: もしもあるモンスターは飲み易くないとすれば「片付け為さるということはない一方で重し」ということは誤っている fact4: もし何らかのモンスターが片付け為さらないとすると重しし飲み易い fact5: このぴいぴなLv.15は重ししさらに片付け為さる fact6: もし仮に「そのぴのぴわLv.60は飲み易くない」ということは誤っていれば味気無い fact7: もし仮にそのぴのぴわLv.60は味気無いとすると「このもちょもちょLv.19は見窄らしい」ということは正しい ; $hypothesis$ = このもやもちゅLv.11は移動し易くない ; $proof$ = 
fact5 -> int1: このぴいぴなLv.15は重し; int1 & fact1 -> int2: そのぴのぴわLv.60は飲み易い; int2 & fact6 -> int3: そのぴのぴわLv.60は味気無い; int3 & fact7 -> int4: このもちょもちょLv.19は見窄らしい; int4 & fact2 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact6 -> int3: {D}{b}; int3 & fact7 -> int4: {E}{c}; int4 & fact2 -> hypothesis; __DISPROVED__