The cat chases the tiger. The cat is rough. The cat needs the tiger. The cat sees the tiger. The tiger chases the cat. The tiger is cold. The tiger is green. The tiger is kind. The tiger is rough. The tiger is young. The tiger needs the cat. The tiger sees the cat. If something chases the cat then the cat is kind.
The cat chases the cat.
@0: The cat chases the tiger.[(triple1)] The cat is rough.[(triple2)] The cat needs the tiger.[(triple3)] The cat sees the tiger.[(triple4)] The tiger chases the cat.[(triple5)] The tiger is cold.[(triple6)] The tiger is green.[(triple7)] The tiger is kind.[(triple8)] The tiger is rough.[(triple9)] The tiger is young.[(triple10)] The tiger needs the cat.[(triple11)] The tiger sees the cat.[(triple12)] @1: The cat is kind.[(((triple5) -> rule1))]