The cat likes the rabbit. The cat does not visit the rabbit. The cow likes the cat. The cow sees the cat. The rabbit does not like the cat. The rabbit likes the cow. The rabbit sees the cat. The rabbit sees the cow. The rabbit visits the cat. The rabbit does not visit the cow. If someone sees the rabbit then they are not round. If someone sees the rabbit and they are not kind then the rabbit does not see the cow. If the cat visits the rabbit and the cat is not young then the cat does not like the cow. If someone visits the cat then the cat likes the cow. If the cat sees the rabbit and the rabbit is young then the cat likes the cow. If someone likes the cow then they see the rabbit. If someone sees the cat and the cat is not young then the cat does not see the cow. If the rabbit is round then the rabbit is green.
The rabbit does not see the rabbit.
@0: The cat does not visit the rabbit.[(triple2)] The cat likes the rabbit.[(triple1)] The cow likes the cat.[(triple3)] The cow sees the cat.[(triple4)] The rabbit does not like the cat.[(triple5)] The rabbit does not visit the cow.[(triple10)] The rabbit likes the cow.[(triple6)] The rabbit sees the cat.[(triple7)] The rabbit sees the cow.[(triple8)] The rabbit visits the cat.[(triple9)] @1: The cat likes the cow.[(((triple9) -> rule4))] The rabbit sees the rabbit.[(((triple6) -> rule6))] @2: The cat sees the rabbit.[(((((triple9) -> rule4)) -> rule6))] The rabbit is not round.[(((((triple6) -> rule6)) -> rule1))] @3: The cat is not round.[(((((((triple9) -> rule4)) -> rule6)) -> rule1))]