The cat eats the rabbit. The cat likes the squirrel. The cat needs the rabbit. The cow eats the rabbit. The rabbit likes the cat. The squirrel is red. The squirrel is young. If someone likes the rabbit then the rabbit eats the cat. If someone is red and they need the cat then the cat needs the cow. If someone is blue and cold then they like the squirrel. If someone eats the rabbit and the rabbit eats the cow then the rabbit eats the cat. If someone needs the cat then they like the cow. If someone likes the cat then they need the cow. If the cat eats the cow then the cow is green. If someone is red then they are young.
The cat needs the rabbit.
@0: The cat eats the rabbit.[(triple1)] The cat likes the squirrel.[(triple2)] The cat needs the rabbit.[(triple3)] The cow eats the rabbit.[(triple4)] The rabbit likes the cat.[(triple5)] The squirrel is red.[(triple6)] The squirrel is young.[(triple7 OR ((triple6) -> rule8))] @1: The rabbit needs the cow.[(((triple5) -> rule6))]