The bear chases the rabbit. The bear is blue. The bear visits the tiger. The rabbit is kind. The rabbit visits the bear. The tiger chases the bear. The tiger visits the bear. If someone is green and they visit the tiger then they eat the rabbit. If someone chases the bear then the bear is green. If someone is green and they eat the rabbit then they are kind.
The bear does not eat the rabbit.
@0: The bear chases the rabbit.[(triple1)] The bear is blue.[(triple2)] The bear visits the tiger.[(triple3)] The rabbit is kind.[(triple4)] The rabbit visits the bear.[(triple5)] The tiger chases the bear.[(triple6)] The tiger visits the bear.[(triple7)] @1: The bear is green.[(((triple6) -> rule2))] @2: The bear eats the rabbit.[(((((triple6) -> rule2) triple3) -> rule1))] @3: The bear is kind.[(((((triple6) -> rule2) ((((triple6) -> rule2) triple3) -> rule1)) -> rule3))]