The cat needs the tiger. The rabbit chases the cat. The rabbit eats the tiger. The rabbit is big. The rabbit is not round. The rabbit needs the cat. The tiger is blue. If someone needs the cat and they do not eat the cat then they need the tiger. If someone eats the tiger then the tiger is cold. If someone needs the tiger and they do not chase the tiger then the tiger is nice.
The cat is cold.
@0: The cat needs the tiger.[(triple1)] The rabbit chases the cat.[(triple2)] The rabbit eats the tiger.[(triple3)] The rabbit is big.[(triple4)] The rabbit is not round.[(triple5)] The rabbit needs the cat.[(triple6)] The tiger is blue.[(triple7)] @1: The tiger is cold.[(((triple3) -> rule2))]