このぴいぴくLv.65は伸ばし易い
fact1: 仮にあのぴいぴゆLv.52が望見しないならこのぴいぴくLv.65は刺々しくて更に暗い fact2: あのぴいぴゆLv.52は望見しない fact3: もし仮にこのぴいぴくLv.65が暗いとするとそれは狭苦しくないし野暮ったくない fact4: もし仮にこのぴいぴくLv.65は狭苦しくないししかも野暮ったいということはないとすると「それは伸ばし易い」ということは本当だ fact5: 仮に「あのぴねぴにょLv.13は狭苦しくない」ということは本当だとしたら暗い
fact1 & fact2 -> int1: このぴいぴくLv.65は刺々しいし暗い; int1 -> int2: このぴいぴくLv.65は暗い; int2 & fact3 -> int3: このぴいぴくLv.65は狭苦しくないし加えて野暮ったくない; int3 & fact4 -> hypothesis;
fact1 & fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact3 -> int3: (¬{D}{a} & ¬{C}{a}); int3 & fact4 -> hypothesis;
あのぴねぴにょLv.13は伸ばし易くてさらに詰まり易い
$facts$ = fact1: 仮にあのぴいぴゆLv.52が望見しないならこのぴいぴくLv.65は刺々しくて更に暗い fact2: あのぴいぴゆLv.52は望見しない fact3: もし仮にこのぴいぴくLv.65が暗いとするとそれは狭苦しくないし野暮ったくない fact4: もし仮にこのぴいぴくLv.65は狭苦しくないししかも野暮ったいということはないとすると「それは伸ばし易い」ということは本当だ fact5: 仮に「あのぴねぴにょLv.13は狭苦しくない」ということは本当だとしたら暗い ; $hypothesis$ = このぴいぴくLv.65は伸ばし易い ; $proof$ = 
fact1 & fact2 -> int1: このぴいぴくLv.65は刺々しいし暗い; int1 -> int2: このぴいぴくLv.65は暗い; int2 & fact3 -> int3: このぴいぴくLv.65は狭苦しくないし加えて野暮ったくない; int3 & fact4 -> hypothesis; __PROVED__
fact1 & fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact3 -> int3: (¬{D}{a} & ¬{C}{a}); int3 & fact4 -> hypothesis; __PROVED__