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