The bear is not green. The cat sees the bear. The cow is not blue. The squirrel sees the cow. If someone sees the cow then they are big. If someone sees the bear then the bear does not eat the cow. If someone is green then they are not kind. If someone is kind and they eat the cat then they eat the bear. If someone is kind and they do not visit the bear then the bear is kind. All big people are not green. If the cat visits the bear then the bear sees the cat. If someone sees the cat and the cat is not kind then they do not visit the squirrel.
The cow sees the cow.
@0: The bear is not green.[(triple1)] The cat sees the bear.[(triple2)] The cow is not blue.[(triple3)] The squirrel sees the cow.[(triple4)] @1: The bear does not eat the cow.[(((triple2) -> rule2))] The squirrel is big.[(((triple4) -> rule1))] @2: The squirrel is not green.[(((((triple4) -> rule1)) -> rule6))]