The dog is blue. The dog is green. The dog is nice. The dog is not red. The dog is round. If someone is red then they are green. If the dog is not red then the dog is blue.
The dog is not round.
@0: The dog is blue.[(triple1 OR ((triple4) -> rule2))] The dog is green.[(triple2)] The dog is nice.[(triple3)] The dog is not red.[(triple4)] The dog is round.[(triple5)]