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