The cat eats the rabbit. The cat is young. The cat likes the rabbit. The cat visits the rabbit. The rabbit is green. The rabbit is round. The rabbit visits the cat. If something eats the rabbit then it is round. If something is red and it visits the rabbit then the rabbit likes the cat.
The cat does not visit the rabbit.
@0: The cat eats the rabbit.[(triple1)] The cat is young.[(triple2)] The cat likes the rabbit.[(triple3)] The cat visits the rabbit.[(triple4)] The rabbit is green.[(triple5)] The rabbit is round.[(triple6)] The rabbit visits the cat.[(triple7)] @1: The cat is round.[(((triple1) -> rule1))]