The cat eats the lion. The cow eats the lion. The cow is blue. The cow likes the lion. The cow likes the squirrel. The lion is young. The squirrel likes the cat. If someone is round then they chase the cow. If someone eats the lion then the lion likes the cat. If someone is young and they like the cat then the cat is round.
The lion is not blue.
@0: The cat eats the lion.[(triple1)] The cow eats the lion.[(triple2)] The cow is blue.[(triple3)] The cow likes the lion.[(triple4)] The cow likes the squirrel.[(triple5)] The lion is young.[(triple6)] The squirrel likes the cat.[(triple7)] @1: The lion likes the cat.[(((triple1) -> rule2) OR ((triple2) -> rule2))] @2: The cat is round.[(((triple6 ((triple1) -> rule2)) -> rule3) OR ((triple6 ((triple2) -> rule2)) -> rule3))] @3: The cat chases the cow.[(((((triple6 ((triple1) -> rule2)) -> rule3)) -> rule1) OR ((((triple6 ((triple2) -> rule2)) -> rule3)) -> rule1))]