あのぽくぽなLv.72は遅くない
fact1: あのぽにょぽくLv.9は薄汚くて変え難い fact2: 「あのぴわぴよLv.1は入れ難い」ということは誤りであるということはない fact3: もしあのぽにょぽくLv.9が滑り易くないかまたは変え難いかまたはどちらもであるとするとあのぴわぴよLv.1は投与する fact4: 「あのぴわぴよLv.1が入れ難くて投与すればあのぽくぽなLv.72は遅くない」ということは真実だ
fact1 -> int1: あのぽにょぽくLv.9は変え難い; int1 -> int2: あのぽにょぽくLv.9は滑り易くないかまたはそれは変え難い; int2 & fact3 -> int3: あのぴわぴよLv.1は投与する; int3 & fact2 -> int4: あのぴわぴよLv.1は入れ難いし投与する; int4 & fact4 -> hypothesis;
fact1 -> int1: {B}{a}; int1 -> int2: (¬{C}{a} v {B}{a}); int2 & fact3 -> int3: {D}{b}; int3 & fact2 -> int4: ({E}{b} & {D}{b}); int4 & fact4 -> hypothesis;
$facts$ = fact1: あのぽにょぽくLv.9は薄汚くて変え難い fact2: 「あのぴわぴよLv.1は入れ難い」ということは誤りであるということはない fact3: もしあのぽにょぽくLv.9が滑り易くないかまたは変え難いかまたはどちらもであるとするとあのぴわぴよLv.1は投与する fact4: 「あのぴわぴよLv.1が入れ難くて投与すればあのぽくぽなLv.72は遅くない」ということは真実だ ; $hypothesis$ = あのぽくぽなLv.72は遅くない ; $proof$ = 
fact1 -> int1: あのぽにょぽくLv.9は変え難い; int1 -> int2: あのぽにょぽくLv.9は滑り易くないかまたはそれは変え難い; int2 & fact3 -> int3: あのぴわぴよLv.1は投与する; int3 & fact2 -> int4: あのぴわぴよLv.1は入れ難いし投与する; int4 & fact4 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 -> int2: (¬{C}{a} v {B}{a}); int2 & fact3 -> int3: {D}{b}; int3 & fact2 -> int4: ({E}{b} & {D}{b}); int4 & fact4 -> hypothesis; __PROVED__