The cat chases the dog. The cat chases the tiger. The cat eats the dog. The cat eats the tiger. The cat is rough. The cat is young. The cat likes the dog. The cat likes the tiger. The dog eats the cat. The dog is young. The tiger eats the cat. The tiger eats the dog. The tiger is big. The tiger is kind. The tiger is young. The tiger likes the dog. If something likes the cat and it chases the dog then the cat eats the dog. If something is rough then it chases the cat. If something likes the cat then it is blue. If something is blue then it likes the dog. If something eats the tiger then it eats the cat. If something eats the dog then the dog likes the cat.
The tiger does not like the cat.
@0: The cat chases the dog.[(triple1)] The cat chases the tiger.[(triple2)] The cat eats the dog.[(triple3)] The cat eats the tiger.[(triple4)] The cat is rough.[(triple5)] The cat is young.[(triple6)] The cat likes the dog.[(triple7)] The cat likes the tiger.[(triple8)] The dog eats the cat.[(triple9)] The dog is young.[(triple10)] The tiger eats the cat.[(triple11)] The tiger eats the dog.[(triple12)] The tiger is big.[(triple13)] The tiger is kind.[(triple14)] The tiger is young.[(triple15)] The tiger likes the dog.[(triple16)] @1: The cat chases the cat.[(((triple5) -> rule2))] The cat eats the cat.[(((triple4) -> rule5))] The dog likes the cat.[(((triple12) -> rule6) OR ((triple3) -> rule6))] @2: The dog is blue.[(((((triple12) -> rule6)) -> rule3) OR ((((triple3) -> rule6)) -> rule3))] @3: The dog likes the dog.[(((((((triple12) -> rule6)) -> rule3)) -> rule4) OR ((((((triple3) -> rule6)) -> rule3)) -> rule4))]