The cat chases the tiger. The cat is kind. The cat likes the tiger. The tiger chases the cat. The tiger is kind. The tiger likes the cat. The tiger visits the cat. If something visits the cat then the cat is blue. If something visits the tiger and the tiger likes the cat then the cat chases the tiger. If something visits the tiger and it likes the cat then the tiger visits the cat. If something visits the cat then the cat likes the tiger. If something visits the tiger then the tiger likes the cat. If something visits the tiger and it visits the cat then it chases the tiger. If something visits the tiger and it chases the cat then it is kind. If something visits the tiger then it chases the tiger.
The tiger is not cold.
@0: The cat chases the tiger.[(triple1)] The cat is kind.[(triple2)] The cat likes the tiger.[(triple3 OR ((triple7) -> rule4))] The tiger chases the cat.[(triple4)] The tiger is kind.[(triple5)] The tiger likes the cat.[(triple6)] The tiger visits the cat.[(triple7)] @1: The cat is blue.[(((triple7) -> rule1))]