The dog is blue. If the dog is blue then the dog is round. If the dog is nice and the dog is rough then the dog is round. Young things are round. If something is nice and young then it is blue. If the dog is round and the dog is nice then the dog is young. If the dog is blue then the dog is round.
The dog is not blue.
@0: The dog is blue.[(triple1)] @1: The dog is round.[(((triple1) -> rule1) OR ((triple1) -> rule6))]