そのぴくぴちゅLv.10は断定し難くない
fact1: もしもそのぴくぴちゅLv.10が暑いということはないけどそれがこよないとするとそのぴくぴちゅLv.10は断定し難い fact2: そのぽちゅぽよLv.70は話し辛い fact3: そのぽちゅぽよLv.70が暑いならばそのぴくぴちゅLv.10は暑くないがしかしそれはこよない fact4: 仮にあるモンスターが話し辛いとしたらそれは暑い
fact4 -> int1: もしもそのぽちゅぽよLv.70が話し辛いならばそれは暑い; int1 & fact2 -> int2: そのぽちゅぽよLv.70は暑い; int2 & fact3 -> int3: そのぴくぴちゅLv.10は暑いということはないけどそれはこよない; int3 & fact1 -> hypothesis;
fact4 -> int1: {A}{a} -> {B}{a}; int1 & fact2 -> int2: {B}{a}; int2 & fact3 -> int3: (¬{B}{b} & {C}{b}); int3 & fact1 -> hypothesis;
$facts$ = fact1: もしもそのぴくぴちゅLv.10が暑いということはないけどそれがこよないとするとそのぴくぴちゅLv.10は断定し難い fact2: そのぽちゅぽよLv.70は話し辛い fact3: そのぽちゅぽよLv.70が暑いならばそのぴくぴちゅLv.10は暑くないがしかしそれはこよない fact4: 仮にあるモンスターが話し辛いとしたらそれは暑い ; $hypothesis$ = そのぴくぴちゅLv.10は断定し難くない ; $proof$ = 
fact4 -> int1: もしもそのぽちゅぽよLv.70が話し辛いならばそれは暑い; int1 & fact2 -> int2: そのぽちゅぽよLv.70は暑い; int2 & fact3 -> int3: そのぴくぴちゅLv.10は暑いということはないけどそれはこよない; int3 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a} -> {B}{a}; int1 & fact2 -> int2: {B}{a}; int2 & fact3 -> int3: (¬{B}{b} & {C}{b}); int3 & fact1 -> hypothesis; __DISPROVED__