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