The dog is blue. The dog is cold. The dog is green. The dog is red. The dog is young. If something is cold and green then it is red. Red things are blue.
The dog needs the dog.
@0: The dog is blue.[(triple1 OR ((triple4) -> rule2) OR ((((triple2 triple3) -> rule1)) -> rule2))] The dog is cold.[(triple2)] The dog is green.[(triple3)] The dog is red.[(triple4 OR ((triple2 triple3) -> rule1))] The dog is young.[(triple5)]