The cat eats the lion. The lion eats the cat. The lion likes the cat. If someone is round and they eat the lion then they are young. If someone is round then they eat the lion. If someone eats the lion then the lion is round.
The cat does not eat the lion.
@0: The cat eats the lion.[(triple1)] The lion eats the cat.[(triple2)] The lion likes the cat.[(triple3)] @1: The lion is round.[(((triple1) -> rule3))] @2: The lion eats the lion.[(((((triple1) -> rule3)) -> rule2))] @3: The lion is young.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule2)) -> rule1))]