The cat eats the cow. The cow is red. The rabbit eats the tiger. The tiger needs the cat. If the rabbit eats the tiger then the tiger is rough. If someone needs the tiger and they eat the cow then they need the rabbit. If someone visits the cat then they eat the cow. All cold people are rough. If someone is red then they are cold. If someone is rough then they visit the tiger. If someone visits the rabbit then the rabbit is rough. If someone needs the rabbit and the rabbit is red then they eat the cat.
The cat needs the cat.
@0: The cat eats the cow.[(triple1)] The cow is red.[(triple2)] The rabbit eats the tiger.[(triple3)] The tiger needs the cat.[(triple4)] @1: The cow is cold.[(((triple2) -> rule5))] The tiger is rough.[(((triple3) -> rule1))] @2: The cow is rough.[(((((triple2) -> rule5)) -> rule4))] The tiger visits the tiger.[(((((triple3) -> rule1)) -> rule6))] @3: The cow visits the tiger.[(((((((triple2) -> rule5)) -> rule4)) -> rule6))]