そのぴわぴにLv.43は際どいということはない
fact1: 「もしもそのぴにゅぴのLv.18が引き起こし易いが面白くないなら「そのまにまにょLv.22は悪賢い」ということは確かである」ということは正しい fact2: そのぴにゅぴのLv.18は引き起こし易いけれど面白くない fact3: もしこのぴやぴちょLv.92が答え難いとするとあのもねもくLv.44は理解し辛い fact4: 仮にあのもねもくLv.44が答え難いがしかし理解し辛くないとしたらこのぴやぴちょLv.92は悪賢い fact5: もしも「そのまにまにょLv.22は落ち易い」ということは事実であるとしたらこのぴやぴちょLv.92は答え難い fact6: そのぴにゅぴのLv.18は面白くない fact7: もしそのまにまにょLv.22は悪賢くないとすると「そのぴにゅぴのLv.18は際どくてさらに落ち易い」ということは偽である fact8: もしもそのまにまにょLv.22が悪賢いならそのまにまにょLv.22は落ち易い fact9: 仮にあのもねもくLv.44が理解し辛いとすればそのぴわぴにLv.43は際どい
fact1 & fact2 -> int1: そのまにまにょLv.22は悪賢い; int1 & fact8 -> int2: そのまにまにょLv.22は落ち易い; int2 & fact5 -> int3: このぴやぴちょLv.92は答え難い; int3 & fact3 -> int4: あのもねもくLv.44は理解し辛い; int4 & fact9 -> hypothesis;
fact1 & fact2 -> int1: {B}{b}; int1 & fact8 -> int2: {A}{b}; int2 & fact5 -> int3: {C}{c}; int3 & fact3 -> int4: {D}{d}; int4 & fact9 -> hypothesis;
そのぴわぴにLv.43は際どいということはない
$facts$ = fact1: 「もしもそのぴにゅぴのLv.18が引き起こし易いが面白くないなら「そのまにまにょLv.22は悪賢い」ということは確かである」ということは正しい fact2: そのぴにゅぴのLv.18は引き起こし易いけれど面白くない fact3: もしこのぴやぴちょLv.92が答え難いとするとあのもねもくLv.44は理解し辛い fact4: 仮にあのもねもくLv.44が答え難いがしかし理解し辛くないとしたらこのぴやぴちょLv.92は悪賢い fact5: もしも「そのまにまにょLv.22は落ち易い」ということは事実であるとしたらこのぴやぴちょLv.92は答え難い fact6: そのぴにゅぴのLv.18は面白くない fact7: もしそのまにまにょLv.22は悪賢くないとすると「そのぴにゅぴのLv.18は際どくてさらに落ち易い」ということは偽である fact8: もしもそのまにまにょLv.22が悪賢いならそのまにまにょLv.22は落ち易い fact9: 仮にあのもねもくLv.44が理解し辛いとすればそのぴわぴにLv.43は際どい ; $hypothesis$ = そのぴわぴにLv.43は際どいということはない ; $proof$ = 
fact1 & fact2 -> int1: そのまにまにょLv.22は悪賢い; int1 & fact8 -> int2: そのまにまにょLv.22は落ち易い; int2 & fact5 -> int3: このぴやぴちょLv.92は答え難い; int3 & fact3 -> int4: あのもねもくLv.44は理解し辛い; int4 & fact9 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: {B}{b}; int1 & fact8 -> int2: {A}{b}; int2 & fact5 -> int3: {C}{c}; int3 & fact3 -> int4: {D}{d}; int4 & fact9 -> hypothesis; __DISPROVED__