The bear is round. The bear is young. The bear likes the cow. The bear needs the cow. The bear sees the cow. The cat is green. The cat needs the cow. The cat sees the cow. The cow is round. The cow likes the lion. The cow needs the bear. The cow needs the cat. The cow sees the cat. The lion is round. The lion needs the cat. The lion needs the cow. If the cat needs the cow then the cow needs the cat. If something likes the cow and it needs the cow then the cow is kind. If something likes the cat and the cat sees the cow then it likes the lion.
The lion does not like the lion.
@0: The bear is round.[(triple1)] The bear is young.[(triple2)] The bear likes the cow.[(triple3)] The bear needs the cow.[(triple4)] The bear sees the cow.[(triple5)] The cat is green.[(triple6)] The cat needs the cow.[(triple7)] The cat sees the cow.[(triple8)] The cow is round.[(triple9)] The cow likes the lion.[(triple10)] The cow needs the bear.[(triple11)] The cow needs the cat.[(triple12 OR ((triple7) -> rule1))] The cow sees the cat.[(triple13)] The lion is round.[(triple14)] The lion needs the cat.[(triple15)] The lion needs the cow.[(triple16)] @1: The cow is kind.[(((triple3 triple4) -> rule2))]