The cat chases the tiger. The cat is not green. The cat is kind. The cat is nice. The cat is red. The cat likes the tiger. The cat needs the tiger. The tiger chases the cat. The tiger is nice. The tiger likes the cat. If someone is green and kind then they are not red. If someone needs the tiger and they chase the tiger then they chase the cat. If the tiger needs the cat and the cat is nice then the cat chases the tiger.
The tiger does not chase the tiger.
@0: The cat chases the tiger.[(triple1)] The cat is kind.[(triple3)] The cat is nice.[(triple4)] The cat is not green.[(triple2)] The cat is red.[(triple5)] The cat likes the tiger.[(triple6)] The cat needs the tiger.[(triple7)] The tiger chases the cat.[(triple8)] The tiger is nice.[(triple9)] The tiger likes the cat.[(triple10)] @1: The cat chases the cat.[(((triple7 triple1) -> rule2))]