そのぷいぷよLv.11は知り難し
fact1: もしあのぽいぽやLv.36がアプローチし易いとするとそのぴのぴよLv.35は読み辛い fact2: そのぴのぴよLv.35はアプローチし易い fact3: 「あのぽいぽやLv.36はアプローチし易い」ということは事実だ fact4: もし「そのぴのぴよLv.35は暗い」ということは成り立つとしたらあのぽいぽやLv.36は読み辛い fact5: もしもあのぽいぽやLv.36が読み辛いとするとそのぷいぷよLv.11は知り難し fact6: そのぴのぴよLv.35は知り難し fact7: そのぴのぴよLv.35はアプローチし易くてさらに暗い
fact7 -> int1: 「そのぴのぴよLv.35は暗くない」ということは成り立たない; int1 & fact4 -> int2: あのぽいぽやLv.36は読み辛い; int2 & fact5 -> hypothesis;
fact7 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact5 -> hypothesis;
$facts$ = fact1: もしあのぽいぽやLv.36がアプローチし易いとするとそのぴのぴよLv.35は読み辛い fact2: そのぴのぴよLv.35はアプローチし易い fact3: 「あのぽいぽやLv.36はアプローチし易い」ということは事実だ fact4: もし「そのぴのぴよLv.35は暗い」ということは成り立つとしたらあのぽいぽやLv.36は読み辛い fact5: もしもあのぽいぽやLv.36が読み辛いとするとそのぷいぷよLv.11は知り難し fact6: そのぴのぴよLv.35は知り難し fact7: そのぴのぴよLv.35はアプローチし易くてさらに暗い ; $hypothesis$ = そのぷいぷよLv.11は知り難し ; $proof$ = 
fact7 -> int1: 「そのぴのぴよLv.35は暗くない」ということは成り立たない; int1 & fact4 -> int2: あのぽいぽやLv.36は読み辛い; int2 & fact5 -> hypothesis; __PROVED__
fact7 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact5 -> hypothesis; __PROVED__