The cat eats the tiger. The cat is cold. The cat is kind. The cat needs the tiger. The cat visits the tiger. The tiger is green. The tiger visits the cat. If the cat eats the tiger then the tiger eats the cat. If someone needs the tiger and they need the cat then the cat is cold. If someone eats the tiger and the tiger eats the cat then the tiger needs the cat.
The tiger is not cold.
@0: The cat eats the tiger.[(triple1)] The cat is cold.[(triple2)] The cat is kind.[(triple3)] The cat needs the tiger.[(triple4)] The cat visits the tiger.[(triple5)] The tiger is green.[(triple6)] The tiger visits the cat.[(triple7)] @1: The tiger eats the cat.[(((triple1) -> rule1))] @2: The tiger needs the cat.[(((triple1 ((triple1) -> rule1)) -> rule3))]