The dog is blue. The dog is rough. The dog is young. Blue things are rough. All round things are young. If something is blue and big then it is round. All rough things are young. Young, blue things are rough. Young things are round.
The dog is big.
@0: The dog is blue.[(triple1)] The dog is rough.[(triple2 OR ((triple1) -> rule1) OR ((triple3 triple1) -> rule5))] The dog is young.[(triple3 OR ((triple2) -> rule4) OR ((((triple1) -> rule1)) -> rule4))] @1: The dog is round.[(((triple3) -> rule6) OR ((((triple2) -> rule4)) -> rule6) OR ((((((triple1) -> rule1)) -> rule4)) -> rule6))]