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