The bear chases the cow. The bear is nice. The bear is red. The bear sees the cow. The bear visits the cow. The cow chases the bear. The cow visits the bear. If someone is green then they see the bear. If someone visits the bear then they are green. If someone is red and they visit the cow then the cow visits the bear. If someone is blue and they see the cow then they visit the bear. If someone visits the cow and the cow is green then they visit the bear. If someone visits the cow and they are red then the cow visits the bear.
The cow is not red.
@0: The bear chases the cow.[(triple1)] The bear is nice.[(triple2)] The bear is red.[(triple3)] The bear sees the cow.[(triple4)] The bear visits the cow.[(triple5)] The cow chases the bear.[(triple6)] The cow visits the bear.[(triple7 OR ((triple3 triple5) -> rule3) OR ((triple5 triple3) -> rule6))] @1: The cow is green.[(((triple7) -> rule2) OR ((((triple3 triple5) -> rule3)) -> rule2) OR ((((triple5 triple3) -> rule6)) -> rule2))] @2: The bear visits the bear.[(((triple5 ((triple7) -> rule2)) -> rule5) OR ((triple5 ((((triple3 triple5) -> rule3)) -> rule2)) -> rule5) OR ((triple5 ((((triple5 triple3) -> rule6)) -> rule2)) -> rule5))] The cow sees the bear.[(((((triple7) -> rule2)) -> rule1) OR ((((((triple3 triple5) -> rule3)) -> rule2)) -> rule1) OR ((((((triple5 triple3) -> rule6)) -> rule2)) -> rule1))] @3: The bear is green.[(((((triple5 ((triple7) -> rule2)) -> rule5)) -> rule2) OR ((((triple5 ((((triple3 triple5) -> rule3)) -> rule2)) -> rule5)) -> rule2) OR ((((triple5 ((((triple5 triple3) -> rule6)) -> rule2)) -> rule5)) -> rule2))] @4: The bear sees the bear.[(((((((triple5 ((triple7) -> rule2)) -> rule5)) -> rule2)) -> rule1) OR ((((((triple5 ((((triple3 triple5) -> rule3)) -> rule2)) -> rule5)) -> rule2)) -> rule1) OR ((((((triple5 ((((triple5 triple3) -> rule6)) -> rule2)) -> rule5)) -> rule2)) -> rule1))]