The cat chases the tiger. The cat eats the tiger. The cat is big. The cat is green. The cat is kind. The cat is red. The cat is young. The cat likes the tiger. The tiger chases the cat. The tiger eats the cat. The tiger is green. The tiger is kind. The tiger is red. The tiger is young. The tiger likes the cat. If something likes the cat and the cat chases the tiger then the cat likes the tiger. If something is red and it likes the tiger then the tiger eats the cat. If something chases the cat and it likes the cat then the cat chases the tiger.
The cat does not chase the cat.
@0: The cat chases the tiger.[(triple1 OR ((triple9 triple15) -> rule3))] The cat eats the tiger.[(triple2)] The cat is big.[(triple3)] The cat is green.[(triple4)] The cat is kind.[(triple5)] The cat is red.[(triple6)] The cat is young.[(triple7)] The cat likes the tiger.[(triple8 OR ((triple15 triple1) -> rule1) OR ((triple15 ((triple9 triple15) -> rule3)) -> rule1))] The tiger chases the cat.[(triple9)] The tiger eats the cat.[(triple10 OR ((triple6 triple8) -> rule2) OR ((triple6 ((triple15 triple1) -> rule1)) -> rule2) OR ((triple6 ((triple15 ((triple9 triple15) -> rule3)) -> rule1)) -> rule2))] The tiger is green.[(triple11)] The tiger is kind.[(triple12)] The tiger is red.[(triple13)] The tiger is young.[(triple14)] The tiger likes the cat.[(triple15)]