そのもえもねLv.50は崩し易い
fact1: もしもそのもえもねLv.50が深いししかも間近いならばそのもえもねLv.50は崩し易いということはない fact2: そのぽいぽやLv.71は心安い fact3: そのぽいぽやLv.71が飲み易いならそのぽねぽちゅLv.96は伸び易い fact4: そのぽいぽやLv.71は心安いししかも飲み易い fact5: もしそのぽねぽちゅLv.96が伸び易いならばそのもえもねLv.50は深い fact6: そのもえもねLv.50は間近い
fact4 -> int1: そのぽいぽやLv.71は飲み易い; int1 & fact3 -> int2: 「そのぽねぽちゅLv.96は伸び易い」ということは偽でない; int2 & fact5 -> int3: そのもえもねLv.50は深い; int3 & fact6 -> int4: そのもえもねLv.50は深いししかも間近い; int4 & fact1 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact5 -> int3: {D}{c}; int3 & fact6 -> int4: ({D}{c} & {E}{c}); int4 & fact1 -> hypothesis;
$facts$ = fact1: もしもそのもえもねLv.50が深いししかも間近いならばそのもえもねLv.50は崩し易いということはない fact2: そのぽいぽやLv.71は心安い fact3: そのぽいぽやLv.71が飲み易いならそのぽねぽちゅLv.96は伸び易い fact4: そのぽいぽやLv.71は心安いししかも飲み易い fact5: もしそのぽねぽちゅLv.96が伸び易いならばそのもえもねLv.50は深い fact6: そのもえもねLv.50は間近い ; $hypothesis$ = そのもえもねLv.50は崩し易い ; $proof$ = 
fact4 -> int1: そのぽいぽやLv.71は飲み易い; int1 & fact3 -> int2: 「そのぽねぽちゅLv.96は伸び易い」ということは偽でない; int2 & fact5 -> int3: そのもえもねLv.50は深い; int3 & fact6 -> int4: そのもえもねLv.50は深いししかも間近い; int4 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact5 -> int3: {D}{c}; int3 & fact6 -> int4: ({D}{c} & {E}{c}); int4 & fact1 -> hypothesis; __DISPROVED__