The bear eats the cow. The bear is big. The bear is blue. The bear is kind. The bear needs the cow. The bear needs the lion. The bear visits the cow. The cow eats the lion. The cow needs the bear. The lion eats the cow. The lion is green. The lion is kind. The lion needs the cow. The lion visits the bear. The lion visits the cow. If someone visits the cow then the cow is young. If someone is young and they need the bear then they eat the cow.
The bear visits the bear.
@0: The bear eats the cow.[(triple1)] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is kind.[(triple4)] The bear needs the cow.[(triple5)] The bear needs the lion.[(triple6)] The bear visits the cow.[(triple7)] The cow eats the lion.[(triple8)] The cow needs the bear.[(triple9)] The lion eats the cow.[(triple10)] The lion is green.[(triple11)] The lion is kind.[(triple12)] The lion needs the cow.[(triple13)] The lion visits the bear.[(triple14)] The lion visits the cow.[(triple15)] @1: The cow is young.[(((triple15) -> rule1) OR ((triple7) -> rule1))] @2: The cow eats the cow.[(((((triple15) -> rule1) triple9) -> rule2) OR ((((triple7) -> rule1) triple9) -> rule2))]