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