The dog is big. The dog is cold. The dog is green. The dog is kind. The dog is rough. If something is cold then it is big. All rough things are big. If the dog is rough then the dog is green.
The dog does not chase the dog.
@0: The dog is big.[(triple1 OR ((triple2) -> rule1) OR ((triple5) -> rule2))] The dog is cold.[(triple2)] The dog is green.[(triple3 OR ((triple5) -> rule3))] The dog is kind.[(triple4)] The dog is rough.[(triple5)]