The bald eagle is blue. The bear is cold. The cow visits the rabbit. The rabbit is cold. If something is cold then it chases the rabbit. If something visits the bald eagle and the bald eagle sees the cow then it visits the bear. If something visits the rabbit then it chases the rabbit. If something is kind and it visits the rabbit then the rabbit visits the bear. If something is green then it visits the bear. If something chases the rabbit then the rabbit is green.
The cow does not visit the bear.
@0: The bald eagle is blue.[(triple1)] The bear is cold.[(triple2)] The cow visits the rabbit.[(triple3)] The rabbit is cold.[(triple4)] @1: The bear chases the rabbit.[(((triple2) -> rule1))] The cow chases the rabbit.[(((triple3) -> rule3))] The rabbit chases the rabbit.[(((triple4) -> rule1))] @2: The rabbit is green.[(((((triple2) -> rule1)) -> rule6) OR ((((triple3) -> rule3)) -> rule6) OR ((((triple4) -> rule1)) -> rule6))] @3: The rabbit visits the bear.[(((((((triple2) -> rule1)) -> rule6)) -> rule5) OR ((((((triple3) -> rule3)) -> rule6)) -> rule5) OR ((((((triple4) -> rule1)) -> rule6)) -> rule5))]