そのぴなぴよLv.30は許し難い
fact1: このぷゆぷちょLv.35が仲間らしくないとするとこのぷゆぷちょLv.35は読み辛くない fact2: もしそのぴなぴよLv.30が貧乏臭いならばそのぴなぴよLv.30は勇ましい fact3: もしそのぴなぴよLv.30が勇ましいならばそれは読み辛い fact4: もしもそのぴなぴよLv.30が読み辛いとすればそのぴなぴよLv.30は許し難い fact5: もしそのぴなぴよLv.30が使えるとするとそのぴなぴよLv.30は勇ましい fact6: そのぴなぴよLv.30は読み辛いなら「そのぴなぴよLv.30は奥深い」ということは成り立つ fact7: そのぴなぴよLv.30は貧乏臭い
fact2 & fact7 -> int1: そのぴなぴよLv.30は勇ましい; int1 & fact3 -> int2: 「そのぴなぴよLv.30は読み辛い」ということは事実である; int2 & fact4 -> hypothesis;
fact2 & fact7 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact4 -> hypothesis;
「そのぴなぴよLv.30は許し難くない」ということは真実だ
$facts$ = fact1: このぷゆぷちょLv.35が仲間らしくないとするとこのぷゆぷちょLv.35は読み辛くない fact2: もしそのぴなぴよLv.30が貧乏臭いならばそのぴなぴよLv.30は勇ましい fact3: もしそのぴなぴよLv.30が勇ましいならばそれは読み辛い fact4: もしもそのぴなぴよLv.30が読み辛いとすればそのぴなぴよLv.30は許し難い fact5: もしそのぴなぴよLv.30が使えるとするとそのぴなぴよLv.30は勇ましい fact6: そのぴなぴよLv.30は読み辛いなら「そのぴなぴよLv.30は奥深い」ということは成り立つ fact7: そのぴなぴよLv.30は貧乏臭い ; $hypothesis$ = そのぴなぴよLv.30は許し難い ; $proof$ = 
fact2 & fact7 -> int1: そのぴなぴよLv.30は勇ましい; int1 & fact3 -> int2: 「そのぴなぴよLv.30は読み辛い」ということは事実である; int2 & fact4 -> hypothesis; __PROVED__
fact2 & fact7 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact4 -> hypothesis; __PROVED__