The cat eats the rabbit. The cat is round. The cat likes the rabbit. The rabbit eats the cat. The rabbit is big. The rabbit is blue. The rabbit visits the cat. If something visits the cat then it likes the rabbit. If something likes the cat then it is round.
The rabbit likes the cat.
@0: The cat eats the rabbit.[(triple1)] The cat is round.[(triple2)] The cat likes the rabbit.[(triple3)] The rabbit eats the cat.[(triple4)] The rabbit is big.[(triple5)] The rabbit is blue.[(triple6)] The rabbit visits the cat.[(triple7)] @1: The rabbit likes the rabbit.[(((triple7) -> rule1))]