The bear visits the cat. The cat sees the squirrel. The rabbit chases the cat. The squirrel does not visit the bear. If something visits the cat then it is not blue. If something is blue and it sees the squirrel then it sees the cat. If something is blue and it chases the rabbit then the rabbit does not chase the squirrel. If something sees the squirrel then the squirrel visits the cat. If something chases the cat then it is green. If something sees the cat then the cat chases the rabbit.
The bear is not blue.
@0: The bear visits the cat.[(triple1)] The cat sees the squirrel.[(triple2)] The rabbit chases the cat.[(triple3)] The squirrel does not visit the bear.[(triple4)] @1: The bear is not blue.[(((triple1) -> rule1))] The rabbit is green.[(((triple3) -> rule5))] The squirrel visits the cat.[(((triple2) -> rule4))] @2: The squirrel is not blue.[(((((triple2) -> rule4)) -> rule1))]