The bear is big. The bear is blue. The bear is green. The bear is round. The bear is young. All round people are blue. All young, big people are green.
The bear is not big.
@0: The bear is big.[(triple1)] The bear is blue.[(triple2 OR ((triple4) -> rule1))] The bear is green.[(triple3 OR ((triple5 triple1) -> rule2))] The bear is round.[(triple4)] The bear is young.[(triple5)]