The cat chases the squirrel. The cat likes the lion. The cat needs the squirrel. The cow is red. The lion chases the cow. The lion is nice. The squirrel is blue. If someone needs the squirrel then they need the cow. If someone likes the cat and they are young then the cat is young. If someone is nice then they chase the lion. If the cat chases the lion then the lion is kind. If someone is red and they like the cat then the cat is kind. If someone needs the cow then the cow is kind. If someone needs the cow then they chase the lion. If the cat needs the cow then the cow needs the cat.
The squirrel likes the cat.
@0: The cat chases the squirrel.[(triple1)] The cat likes the lion.[(triple2)] The cat needs the squirrel.[(triple3)] The cow is red.[(triple4)] The lion chases the cow.[(triple5)] The lion is nice.[(triple6)] The squirrel is blue.[(triple7)] @1: The cat needs the cow.[(((triple3) -> rule1))] The lion chases the lion.[(((triple6) -> rule3))] @2: The cat chases the lion.[(((((triple3) -> rule1)) -> rule7))] The cow is kind.[(((((triple3) -> rule1)) -> rule6))] The cow needs the cat.[(((((triple3) -> rule1)) -> rule8))] @3: The lion is kind.[(((((((triple3) -> rule1)) -> rule7)) -> rule4))]