The dog is blue. The dog is cold. The dog is green. The dog is kind. The dog is rough. All kind, rough people are green. If someone is kind then they are green. Cold, blue people are rough.
The dog is green.
@0: The dog is blue.[(triple1)] The dog is cold.[(triple2)] The dog is green.[(triple3 OR ((triple4) -> rule2) OR ((triple4 triple5) -> rule1) OR ((triple4 ((triple2 triple1) -> rule3)) -> rule1))] The dog is kind.[(triple4)] The dog is rough.[(triple5 OR ((triple2 triple1) -> rule3))]