The bear chases the cow. The bear chases the lion. The bear is nice. The bear is round. The bear needs the cow. The bear visits the cow. The bear visits the lion. The cow chases the bear. The cow is nice. The cow visits the bear. The lion chases the cow. The lion is rough. The lion is round. The lion needs the bear. The lion needs the cow. The lion visits the cow. If someone is nice then they chase the bear. If someone chases the bear then they chase the lion. If someone chases the cow then they are nice.
The lion is not round.
@0: The bear chases the cow.[(triple1)] The bear chases the lion.[(triple2 OR ((((triple3) -> rule1)) -> rule2) OR ((((((triple1) -> rule3)) -> rule1)) -> rule2))] The bear is nice.[(triple3 OR ((triple1) -> rule3))] The bear is round.[(triple4)] The bear needs the cow.[(triple5)] The bear visits the cow.[(triple6)] The bear visits the lion.[(triple7)] The cow chases the bear.[(triple8 OR ((triple9) -> rule1))] The cow is nice.[(triple9)] The cow visits the bear.[(triple10)] The lion chases the cow.[(triple11)] The lion is rough.[(triple12)] The lion is round.[(triple13)] The lion needs the bear.[(triple14)] The lion needs the cow.[(triple15)] The lion visits the cow.[(triple16)] @1: The bear chases the bear.[(((triple3) -> rule1) OR ((((triple1) -> rule3)) -> rule1))] The cow chases the lion.[(((triple8) -> rule2) OR ((((triple9) -> rule1)) -> rule2))] The lion is nice.[(((triple11) -> rule3))] @2: The lion chases the bear.[(((((triple11) -> rule3)) -> rule1))] @3: The lion chases the lion.[(((((((triple11) -> rule3)) -> rule1)) -> rule2))]