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