そのぷくぷちょLv.0は集まり易くない
fact1: 「仮にこのぷよぷちょLv.79が歩き続けるし得られ難いとしたらそのぷくぷちょLv.0は集まり易くない」ということは確かである fact2: 仮にこのぷよぷちょLv.79が集まり易いとすればそのぷくぷちょLv.0は集まり易い fact3: このぷよぷちょLv.79は得られ難い fact4: このぷよぷちょLv.79は歩き続ける
fact4 & fact3 -> int1: このぷよぷちょLv.79は歩き続けるしさらに得られ難い; int1 & fact1 -> hypothesis;
fact4 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> hypothesis;
そのぷくぷちょLv.0は集まり易い
$facts$ = fact1: 「仮にこのぷよぷちょLv.79が歩き続けるし得られ難いとしたらそのぷくぷちょLv.0は集まり易くない」ということは確かである fact2: 仮にこのぷよぷちょLv.79が集まり易いとすればそのぷくぷちょLv.0は集まり易い fact3: このぷよぷちょLv.79は得られ難い fact4: このぷよぷちょLv.79は歩き続ける ; $hypothesis$ = そのぷくぷちょLv.0は集まり易くない ; $proof$ = 
fact4 & fact3 -> int1: このぷよぷちょLv.79は歩き続けるしさらに得られ難い; int1 & fact1 -> hypothesis; __PROVED__
fact4 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> hypothesis; __PROVED__