The dog is blue. The dog is green. The dog is kind. The dog is nice. The dog is round. If the dog is green then the dog is round.
The dog is kind.
@0: The dog is blue.[(triple1)] The dog is green.[(triple2)] The dog is kind.[(triple3)] The dog is nice.[(triple4)] The dog is round.[(triple5 OR ((triple2) -> rule1))]