The cat chases the tiger. The cat does not eat the tiger. The cat is not blue. The cat is kind. The cat is red. The cat is rough. The cat sees the tiger. The tiger chases the cat. The tiger eats the cat. The tiger is blue. The tiger is red. The tiger is young. If the cat eats the tiger and the tiger eats the cat then the tiger is not kind. If the tiger chases the cat then the tiger is kind. If something sees the cat then it is red.
The tiger does not see the cat.
@0: The cat chases the tiger.[(triple1)] The cat does not eat the tiger.[(triple2)] The cat is kind.[(triple4)] The cat is not blue.[(triple3)] The cat is red.[(triple5)] The cat is rough.[(triple6)] The cat sees the tiger.[(triple7)] The tiger chases the cat.[(triple8)] The tiger eats the cat.[(triple9)] The tiger is blue.[(triple10)] The tiger is red.[(triple11)] The tiger is young.[(triple12)] @1: The tiger is kind.[(((triple8) -> rule2))]