The dog is big. The dog is blue. The dog is cold. The dog is green. The dog is red. All green people are big. If someone is big and cold then they are green. If someone is big and red then they are blue.
The dog does not chase the dog.
@0: The dog is big.[(triple1 OR ((triple4) -> rule1))] The dog is blue.[(triple2 OR ((triple1 triple5) -> rule3) OR ((((triple4) -> rule1) triple5) -> rule3))] The dog is cold.[(triple3)] The dog is green.[(triple4 OR ((triple1 triple3) -> rule2))] The dog is red.[(triple5)]