The dog is kind. The dog is not nice. The dog is red. The dog is rough. The dog is young. If the dog is nice then the dog is young. All nice, rough things are kind. If something is kind then it is rough.
The dog does not see the dog.
@0: The dog is kind.[(triple1)] The dog is not nice.[(triple2)] The dog is red.[(triple3)] The dog is rough.[(triple4 OR ((triple1) -> rule3))] The dog is young.[(triple5)]