The cat chases the lion. The cat chases the tiger. The cat is cold. The cat visits the lion. The lion chases the rabbit. The lion does not like the cat. The rabbit is nice. The rabbit is young. The rabbit visits the cat. The tiger chases the rabbit. The tiger is kind. The tiger likes the rabbit. If something likes the rabbit and the rabbit likes the cat then the cat likes the tiger. If something is kind then it does not like the cat. If something visits the cat and it chases the rabbit then the rabbit likes the tiger. If the cat likes the lion then the cat does not chase the tiger. If the tiger does not like the cat then the cat is rough. If something is rough then it chases the tiger. If something chases the tiger and the tiger chases the cat then it visits the tiger. If something is rough then it chases the cat.
The lion chases the cat.
@0: The cat chases the lion.[(triple1)] The cat chases the tiger.[(triple2 OR ((((((triple11) -> rule2)) -> rule5)) -> rule6))] The cat is cold.[(triple3)] The cat visits the lion.[(triple4)] The lion chases the rabbit.[(triple5)] The lion does not like the cat.[(triple6)] The rabbit is nice.[(triple7)] The rabbit is young.[(triple8)] The rabbit visits the cat.[(triple9)] The tiger chases the rabbit.[(triple10)] The tiger is kind.[(triple11)] The tiger likes the rabbit.[(triple12)] @1: The tiger does not like the cat.[(((triple11) -> rule2))] @2: The cat is rough.[(((((triple11) -> rule2)) -> rule5))] @3: The cat chases the cat.[(((((((triple11) -> rule2)) -> rule5)) -> rule8))]