「あのぷよぷやLv.3は末恐ろしいか気付き難くない」ということは成り立つということはない
fact1: あのぷよぷやLv.3は末恐ろしいかまたは気付き難いか両方ともである fact2: このまちゃまなLv.12が浸軟するとしたらあのぴえぴにょLv.54はつれない fact3: もしあのぴえぴにょLv.54が試みるしかつつれないとするとあのまゆまちょLv.73は育て易くない fact4: もしあのみなみいLv.59が陥凹するとすればこのまちゃまなLv.12は浸軟する fact5: あのぴえぴにょLv.54は試みる fact6: あのみなみいLv.59は陥凹する fact7: もし仮にあのまゆまちょLv.73が育て易くないならばあのぷよぷやLv.3は末恐ろしいか気付き難くない fact8: もし「「浸軟しないかまたはつれなくないかもしくは両方である」ということは成り立たない」モンスターがいるとしたらあのぷよぷやLv.3は陥凹しない
fact4 & fact6 -> int1: このまちゃまなLv.12は浸軟する; int1 & fact2 -> int2: 「あのぴえぴにょLv.54はつれない」ということは本当である; int2 & fact5 -> int3: あのぴえぴにょLv.54は試みるしそれにつれない; int3 & fact3 -> int4: あのまゆまちょLv.73は育て易くない; int4 & fact7 -> hypothesis;
fact4 & fact6 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; int2 & fact5 -> int3: ({D}{c} & {C}{c}); int3 & fact3 -> int4: ¬{E}{d}; int4 & fact7 -> hypothesis;
「あのぷよぷやLv.3は末恐ろしいか気付き難くない」ということは成り立つということはない
$facts$ = fact1: あのぷよぷやLv.3は末恐ろしいかまたは気付き難いか両方ともである fact2: このまちゃまなLv.12が浸軟するとしたらあのぴえぴにょLv.54はつれない fact3: もしあのぴえぴにょLv.54が試みるしかつつれないとするとあのまゆまちょLv.73は育て易くない fact4: もしあのみなみいLv.59が陥凹するとすればこのまちゃまなLv.12は浸軟する fact5: あのぴえぴにょLv.54は試みる fact6: あのみなみいLv.59は陥凹する fact7: もし仮にあのまゆまちょLv.73が育て易くないならばあのぷよぷやLv.3は末恐ろしいか気付き難くない fact8: もし「「浸軟しないかまたはつれなくないかもしくは両方である」ということは成り立たない」モンスターがいるとしたらあのぷよぷやLv.3は陥凹しない ; $hypothesis$ = 「あのぷよぷやLv.3は末恐ろしいか気付き難くない」ということは成り立つということはない ; $proof$ = 
fact4 & fact6 -> int1: このまちゃまなLv.12は浸軟する; int1 & fact2 -> int2: 「あのぴえぴにょLv.54はつれない」ということは本当である; int2 & fact5 -> int3: あのぴえぴにょLv.54は試みるしそれにつれない; int3 & fact3 -> int4: あのまゆまちょLv.73は育て易くない; int4 & fact7 -> hypothesis; __DISPROVED__
fact4 & fact6 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; int2 & fact5 -> int3: ({D}{c} & {C}{c}); int3 & fact3 -> int4: ¬{E}{d}; int4 & fact7 -> hypothesis; __DISPROVED__