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