ぽのぽよLv.20事件は起きない
fact1: ぽくぽねLv.29事件は発生しない fact2: もしもぽくぽねLv.29事件は発生しないとすると身軽いということおよびもなもちゃLv.23事件が起きる
fact2 & fact1 -> int1: 身軽いということおよびもなもちゃLv.23事件が発生する; int1 -> int2: 身軽いということが発生する; int2 -> int3: 身軽いということかもしくは早しということが起こる;
fact2 & fact1 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 -> int3: ({A} v {C});
$facts$ = fact1: ぽくぽねLv.29事件は発生しない fact2: もしもぽくぽねLv.29事件は発生しないとすると身軽いということおよびもなもちゃLv.23事件が起きる ; $hypothesis$ = ぽのぽよLv.20事件は起きない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__