丸っこいということは発生しない
fact1: 担当出来ることと大人らしいということが発生する fact2: 溶け易いということが起きる fact3: 丸っこいということは起こらないということは大人らしいということおよび溶け易いということが生じるに起因する fact4: 大人らしいということは起こらないということは丸っこいということおよび担当出来ることが起きるの原因となる
fact1 -> int1: 大人らしいということが起きる; int1 & fact2 -> int2: 大人らしいということが起きるしさらに溶け易いということが起こる; int2 & fact3 -> hypothesis;
fact1 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis;
丸っこいということが起きる
$facts$ = fact1: 担当出来ることと大人らしいということが発生する fact2: 溶け易いということが起きる fact3: 丸っこいということは起こらないということは大人らしいということおよび溶け易いということが生じるに起因する fact4: 大人らしいということは起こらないということは丸っこいということおよび担当出来ることが起きるの原因となる ; $hypothesis$ = 丸っこいということは発生しない ; $proof$ = 
fact1 -> int1: 大人らしいということが起きる; int1 & fact2 -> int2: 大人らしいということが起きるしさらに溶け易いということが起こる; int2 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis; __PROVED__