The cat chases the dog. The cat is cold. The cat is rough. The cat is young. The cat likes the dog. The cat needs the dog. The dog does not chase the cat. The dog is not nice. The dog is young. The dog needs the cat. If something chases the cat then the cat is rough. If the cat is not red then the cat likes the dog. If the dog is young and the dog is not cold then the dog needs the cat. If the dog chases the cat then the cat chases the dog. If the cat is young then the cat chases the dog. If something likes the cat then it does not like the dog. If something is rough then it needs the dog. If something is young and it needs the dog then the dog likes the cat.
The dog does not like the dog.
@0: The cat chases the dog.[(triple1 OR ((triple4) -> rule5))] The cat is cold.[(triple2)] The cat is rough.[(triple3)] The cat is young.[(triple4)] The cat likes the dog.[(triple5)] The cat needs the dog.[(triple6 OR ((triple3) -> rule7))] The dog does not chase the cat.[(triple7)] The dog is not nice.[(triple8)] The dog is young.[(triple9)] The dog needs the cat.[(triple10)] @1: The dog likes the cat.[(((triple4 triple6) -> rule8) OR ((triple4 ((triple3) -> rule7)) -> rule8))] @2: The dog does not like the dog.[(((((triple4 triple6) -> rule8)) -> rule6) OR ((((triple4 ((triple3) -> rule7)) -> rule8)) -> rule6))]