The dog is blue. The dog is cold. The dog is kind. The dog is rough. The dog is young. If the dog is not kind then the dog is rough. All cold things are blue. Blue things are young. If the dog is cold and the dog is rough then the dog is blue. Blue, kind things are cold. If the dog is kind and the dog is not cold then the dog is not young.
The dog is kind.
@0: The dog is blue.[(triple1 OR ((triple2) -> rule2) OR ((triple2 triple4) -> rule4))] The dog is cold.[(triple2 OR ((triple1 triple3) -> rule5))] The dog is kind.[(triple3)] The dog is rough.[(triple4)] The dog is young.[(triple5 OR ((triple1) -> rule3) OR ((((triple2) -> rule2)) -> rule3) OR ((((triple2 triple4) -> rule4)) -> rule3))]