The cat eats the lion. The cat is young. The cat likes the lion. The lion does not eat the cat. The lion does not like the cat. The rabbit eats the lion. The rabbit is big. The rabbit is young. The rabbit likes the cat. The rabbit needs the lion. If someone likes the lion then the lion is green. If someone likes the cat then the cat likes the rabbit. If someone is cold then they need the lion.
The cat does not need the lion.
@0: The cat eats the lion.[(triple1)] The cat is young.[(triple2)] The cat likes the lion.[(triple3)] The lion does not eat the cat.[(triple4)] The lion does not like the cat.[(triple5)] The rabbit eats the lion.[(triple6)] The rabbit is big.[(triple7)] The rabbit is young.[(triple8)] The rabbit likes the cat.[(triple9)] The rabbit needs the lion.[(triple10)] @1: The cat likes the rabbit.[(((triple9) -> rule2))] The lion is green.[(((triple3) -> rule1))]