The cat does not chase the lion. The cat is green. The cat visits the lion. The lion chases the cat. The lion is rough. The lion is young. The lion visits the cat. If someone is nice then they eat the lion. If the cat visits the lion then the cat is nice. If someone chases the cat and the cat eats the lion then the lion does not eat the cat.
The lion does not eat the cat.
@0: The cat does not chase the lion.[(triple1)] The cat is green.[(triple2)] The cat visits the lion.[(triple3)] The lion chases the cat.[(triple4)] The lion is rough.[(triple5)] The lion is young.[(triple6)] The lion visits the cat.[(triple7)] @1: The cat is nice.[(((triple3) -> rule2))] @2: The cat eats the lion.[(((((triple3) -> rule2)) -> rule1))] @3: The lion does not eat the cat.[(((triple4 ((((triple3) -> rule2)) -> rule1)) -> rule3))]