そのもちゅもにょLv.5は信仰深くない
fact1: あのぴやぴゆLv.9は分かり難い fact2: このぽゆぽゆLv.60は飲み易い fact3: もしもあのぴやぴゆLv.9が微笑ましいしかつ分かり難いならそのもちゅもにょLv.5は信仰深くない fact4: もし仮にこのぽゆぽゆLv.60は飲み易いとすれば「あのぴやぴゆLv.9は微笑ましい」ということは間違いでない fact5: もしそのもちゅもにょLv.5が飲み易いとすればそのもちゅもにょLv.5は信仰深い
fact4 & fact2 -> int1: あのぴやぴゆLv.9は微笑ましい; int1 & fact1 -> int2: あのぴやぴゆLv.9は微笑ましくてまた分かり難い; int2 & fact3 -> hypothesis;
fact4 & fact2 -> int1: {B}{b}; int1 & fact1 -> int2: ({B}{b} & {C}{b}); int2 & fact3 -> hypothesis;
そのもちゅもにょLv.5は信仰深い
$facts$ = fact1: あのぴやぴゆLv.9は分かり難い fact2: このぽゆぽゆLv.60は飲み易い fact3: もしもあのぴやぴゆLv.9が微笑ましいしかつ分かり難いならそのもちゅもにょLv.5は信仰深くない fact4: もし仮にこのぽゆぽゆLv.60は飲み易いとすれば「あのぴやぴゆLv.9は微笑ましい」ということは間違いでない fact5: もしそのもちゅもにょLv.5が飲み易いとすればそのもちゅもにょLv.5は信仰深い ; $hypothesis$ = そのもちゅもにょLv.5は信仰深くない ; $proof$ = 
fact4 & fact2 -> int1: あのぴやぴゆLv.9は微笑ましい; int1 & fact1 -> int2: あのぴやぴゆLv.9は微笑ましくてまた分かり難い; int2 & fact3 -> hypothesis; __PROVED__
fact4 & fact2 -> int1: {B}{b}; int1 & fact1 -> int2: ({B}{b} & {C}{b}); int2 & fact3 -> hypothesis; __PROVED__