The cat likes the rabbit. The cat visits the rabbit. The lion eats the rabbit. The lion is round. The rabbit is round. The rabbit is young. The squirrel does not like the rabbit. If someone likes the cat then they are not young. If someone likes the cat then they do not eat the squirrel. If someone is big then they do not eat the squirrel. If someone visits the lion then they do not visit the rabbit. If the lion eats the squirrel and the squirrel is round then the squirrel visits the lion. If someone is round and young then they eat the lion. If the rabbit is round and the squirrel does not eat the rabbit then the squirrel is green. If someone visits the cat and the cat does not eat the rabbit then the rabbit does not visit the lion.
The cat visits the rabbit.
@0: The cat likes the rabbit.[(triple1)] The cat visits the rabbit.[(triple2)] The lion eats the rabbit.[(triple3)] The lion is round.[(triple4)] The rabbit is round.[(triple5)] The rabbit is young.[(triple6)] The squirrel does not like the rabbit.[(triple7)] @1: The rabbit eats the lion.[(((triple5 triple6) -> rule6))]