The bear visits the rabbit. The cow is not round. The mouse eats the bear. The rabbit sees the cow. If something visits the rabbit then it is blue.
The rabbit is blue.
@0: The bear visits the rabbit.[(triple1)] The cow is not round.[(triple2)] The mouse eats the bear.[(triple3)] The rabbit sees the cow.[(triple4)] @1: The bear is blue.[(((triple1) -> rule1))]