The bear visits the cat. The cat likes the bear. The lion visits the cat. If someone is red then they like the cat. All blue people are red. If the cat is rough and the cat visits the lion then the lion visits the cat. If the lion visits the cat then the lion is blue. If someone is blue then they visit the bear. If someone is blue and they visit the cat then they visit the bear.
The lion is red.
@0: The bear visits the cat.[(triple1)] The cat likes the bear.[(triple2)] The lion visits the cat.[(triple3)] @1: The lion is blue.[(((triple3) -> rule4))] @2: The lion is red.[(((((triple3) -> rule4)) -> rule2))] The lion visits the bear.[(((((triple3) -> rule4)) -> rule5) OR ((((triple3) -> rule4) triple3) -> rule6))] @3: The lion likes the cat.[(((((((triple3) -> rule4)) -> rule2)) -> rule1))]