The bear chases the cow. The bear is cold. The bear is kind. The bear is nice. The bear is rough. The bear visits the cow. The cow chases the bear. The cow eats the bear. The cow is kind. The cow is nice. The cow is rough. The cow visits the bear. If something visits the bear and the bear visits the cow then it eats the cow. If something eats the cow and it is rough then it eats the bear. If something is nice then it visits the bear.
The cow visits the cow.
@0: The bear chases the cow.[(triple1)] The bear is cold.[(triple2)] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear is rough.[(triple5)] The bear visits the cow.[(triple6)] The cow chases the bear.[(triple7)] The cow eats the bear.[(triple8 OR ((((triple12 triple6) -> rule1) triple11) -> rule2) OR ((((((triple10) -> rule3) triple6) -> rule1) triple11) -> rule2))] The cow is kind.[(triple9)] The cow is nice.[(triple10)] The cow is rough.[(triple11)] The cow visits the bear.[(triple12 OR ((triple10) -> rule3))] @1: The bear visits the bear.[(((triple4) -> rule3))] The cow eats the cow.[(((triple12 triple6) -> rule1) OR ((((triple10) -> rule3) triple6) -> rule1))] @2: The bear eats the cow.[(((((triple4) -> rule3) triple6) -> rule1))] @3: The bear eats the bear.[(((((((triple4) -> rule3) triple6) -> rule1) triple5) -> rule2))]