The bear is young. The bear visits the cat. The cat visits the bear. If the bear is young then the bear eats the cat. If something chases the cat then it visits the bear. If something chases the cat then it visits the cat. If the cat visits the bear and the bear is red then the bear eats the cat. If something visits the cat and it visits the bear then the bear is blue. If something visits the bear then the bear chases the cat.
The bear is blue.
@0: The bear is young.[(triple1)] The bear visits the cat.[(triple2 OR ((((triple3) -> rule6)) -> rule3))] The cat visits the bear.[(triple3)] @1: The bear chases the cat.[(((triple3) -> rule6))] The bear eats the cat.[(((triple1) -> rule1))] @2: The bear visits the bear.[(((((triple3) -> rule6)) -> rule2))] @3: The bear is blue.[(((triple2 ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((((triple3) -> rule6)) -> rule3) ((((triple3) -> rule6)) -> rule2)) -> rule5))]