The dog is big. The dog is red. The dog is rough. The dog is round. The dog is young. Red, big things are young. All round, red things are young.
The dog is red.
@0: The dog is big.[(triple1)] The dog is red.[(triple2)] The dog is rough.[(triple3)] The dog is round.[(triple4)] The dog is young.[(triple5 OR ((triple2 triple1) -> rule1) OR ((triple4 triple2) -> rule2))]