The dog is big. The dog is green. The dog is red. The dog is rough. The dog is round. If the dog is big then the dog is green.
The dog sees the dog.
@0: The dog is big.[(triple1)] The dog is green.[(triple2 OR ((triple1) -> rule1))] The dog is red.[(triple3)] The dog is rough.[(triple4)] The dog is round.[(triple5)]