The bear visits the lion. The cat eats the bear. The lion visits the bear. If someone visits the bear then the bear is nice. If someone visits the cat then they chase the cat. If the lion eats the cat then the lion does not eat the bear. If someone visits the bear then they are red. If the cat visits the lion then the lion is cold. If someone visits the cat and they chase the cat then they are big. If someone visits the bear then the bear visits the cat. If someone is nice and they do not chase the bear then they visit the bear.
The cat is nice.
@0: The bear visits the lion.[(triple1)] The cat eats the bear.[(triple2)] The lion visits the bear.[(triple3)] @1: The bear is nice.[(((triple3) -> rule1))] The bear visits the cat.[(((triple3) -> rule7))] The lion is red.[(((triple3) -> rule4))] @2: The bear chases the cat.[(((((triple3) -> rule7)) -> rule2))] @3: The bear is big.[(((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule2)) -> rule6))]