そのぷにょぷねLv.74は味わい深くない
fact1: そのみやみにょLv.54は直り難い fact2: もしもそのぷちょぷにょLv.80が味わい深くないならそのぷちょぷにょLv.80は見分け難いしおまけに決定す fact3: そのぴゆぴえLv.62は常連らしいし更にそれは改質する fact4: そのぷにょぷねLv.74は飲み易い fact5: そのみやみにょLv.54は直り難いとしたら「そのぷにょぷねLv.74は決定す」ということは成り立つ fact6: 仮にそのぷにょぷねLv.74は決定すしそれに飲み易いとしたら味わい深くない
fact5 & fact1 -> int1: そのぷにょぷねLv.74は決定す; int1 & fact4 -> int2: そのぷにょぷねLv.74は決定すし飲み易い; int2 & fact6 -> hypothesis;
fact5 & fact1 -> int1: {B}{b}; int1 & fact4 -> int2: ({B}{b} & {C}{b}); int2 & fact6 -> hypothesis;
そのぷちょぷにょLv.80は見分け難いししかも直り難い
$facts$ = fact1: そのみやみにょLv.54は直り難い fact2: もしもそのぷちょぷにょLv.80が味わい深くないならそのぷちょぷにょLv.80は見分け難いしおまけに決定す fact3: そのぴゆぴえLv.62は常連らしいし更にそれは改質する fact4: そのぷにょぷねLv.74は飲み易い fact5: そのみやみにょLv.54は直り難いとしたら「そのぷにょぷねLv.74は決定す」ということは成り立つ fact6: 仮にそのぷにょぷねLv.74は決定すしそれに飲み易いとしたら味わい深くない ; $hypothesis$ = そのぷにょぷねLv.74は味わい深くない ; $proof$ = 
fact5 & fact1 -> int1: そのぷにょぷねLv.74は決定す; int1 & fact4 -> int2: そのぷにょぷねLv.74は決定すし飲み易い; int2 & fact6 -> hypothesis; __PROVED__
fact5 & fact1 -> int1: {B}{b}; int1 & fact4 -> int2: ({B}{b} & {C}{b}); int2 & fact6 -> hypothesis; __PROVED__