「そのぷよぷゆLv.91は受け入れられ易くない」ということは成り立つ
fact1: そのぴねぴやLv.99は掛け難いしおまけに注意深い fact2: もしそのぴねぴやLv.99が狙われ易くてさらにそれが注意深いならばそのぷよぷゆLv.91は受け入れられ易くない fact3: そのぴねぴやLv.99は狙われ易い fact4: 「そのぴねぴやLv.99は受け入れられ易い」ということは確かである
fact1 -> int1: 「そのぴねぴやLv.99は注意深い」ということは本当である; int1 & fact3 -> int2: そのぴねぴやLv.99は狙われ易いし注意深い; int2 & fact2 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact3 -> int2: ({C}{a} & {B}{a}); int2 & fact2 -> hypothesis;
$facts$ = fact1: そのぴねぴやLv.99は掛け難いしおまけに注意深い fact2: もしそのぴねぴやLv.99が狙われ易くてさらにそれが注意深いならばそのぷよぷゆLv.91は受け入れられ易くない fact3: そのぴねぴやLv.99は狙われ易い fact4: 「そのぴねぴやLv.99は受け入れられ易い」ということは確かである ; $hypothesis$ = 「そのぷよぷゆLv.91は受け入れられ易くない」ということは成り立つ ; $proof$ = 
fact1 -> int1: 「そのぴねぴやLv.99は注意深い」ということは本当である; int1 & fact3 -> int2: そのぴねぴやLv.99は狙われ易いし注意深い; int2 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact3 -> int2: ({C}{a} & {B}{a}); int2 & fact2 -> hypothesis; __PROVED__