The dog is blue. The dog is cold. The dog is green. The dog is rough. The dog is round. If someone is green and cold then they are round.
The dog is not green.
@0: The dog is blue.[(triple1)] The dog is cold.[(triple2)] The dog is green.[(triple3)] The dog is rough.[(triple4)] The dog is round.[(triple5 OR ((triple3 triple2) -> rule1))]