The bear chases the dog. The bear is round. The bear is young. The bear likes the cow. The bear likes the lion. The bear visits the cow. The bear visits the dog. The bear visits the lion. The cow chases the bear. The cow chases the dog. The cow is cold. The cow is rough. The cow likes the lion. The dog is green. The dog likes the lion. The lion chases the cow. If something chases the dog then it visits the dog. If something visits the dog then it is round. If something visits the cow and the cow visits the lion then it is green. If something likes the lion and it is rough then the lion chases the dog. If something chases the dog then it chases the lion. If something chases the cow then it chases the bear.
The dog chases the cow.
@0: The bear chases the dog.[(triple1)] The bear is round.[(triple2 OR ((triple7) -> rule2) OR ((((triple1) -> rule1)) -> rule2))] The bear is young.[(triple3)] The bear likes the cow.[(triple4)] The bear likes the lion.[(triple5)] The bear visits the cow.[(triple6)] The bear visits the dog.[(triple7 OR ((triple1) -> rule1))] The bear visits the lion.[(triple8)] The cow chases the bear.[(triple9)] The cow chases the dog.[(triple10)] The cow is cold.[(triple11)] The cow is rough.[(triple12)] The cow likes the lion.[(triple13)] The dog is green.[(triple14)] The dog likes the lion.[(triple15)] The lion chases the cow.[(triple16)] @1: The bear chases the lion.[(((triple1) -> rule5))] The cow chases the lion.[(((triple10) -> rule5))] The cow visits the dog.[(((triple10) -> rule1))] The lion chases the bear.[(((triple16) -> rule6))] The lion chases the dog.[(((triple13 triple12) -> rule4))] @2: The cow is round.[(((((triple10) -> rule1)) -> rule2))] The lion chases the lion.[(((((triple13 triple12) -> rule4)) -> rule5))] The lion visits the dog.[(((((triple13 triple12) -> rule4)) -> rule1))] @3: The lion is round.[(((((((triple13 triple12) -> rule4)) -> rule1)) -> rule2))]