四角いということおよび大きいということ両方ともが生じる
fact1: めぼしいということが起きる fact2: 四角いということとめぼしいということが起きる fact3: 大きいということが発生する
fact2 -> int1: 四角いということが起こる; int1 & fact3 -> hypothesis;
fact2 -> int1: {A}; int1 & fact3 -> hypothesis;
$facts$ = fact1: めぼしいということが起きる fact2: 四角いということとめぼしいということが起きる fact3: 大きいということが発生する ; $hypothesis$ = 四角いということおよび大きいということ両方ともが生じる ; $proof$ = 
fact2 -> int1: 四角いということが起こる; int1 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact3 -> hypothesis; __PROVED__