The bear is cold. The bear is nice. The bear is round. The bear is young. The bear does not see the cat. The cat does not eat the lion. The cat is round. The cat is young. The cat needs the lion. The cat sees the bear. The lion eats the bear. The lion eats the cat. The lion needs the bear. The lion sees the bear. The lion sees the cat. If something sees the lion then the lion needs the cat. Round things are not green. If something needs the cat then the cat is not round. If something is round and not green then it eats the bear. If something eats the bear then the bear eats the cat. If the cat does not eat the bear then the cat eats the lion.
The lion does not eat the bear.
@0: The bear does not see the cat.[(triple5)] The bear is cold.[(triple1)] The bear is nice.[(triple2)] The bear is round.[(triple3)] The bear is young.[(triple4)] The cat does not eat the lion.[(triple6)] The cat is round.[(triple7)] The cat is young.[(triple8)] The cat needs the lion.[(triple9)] The cat sees the bear.[(triple10)] The lion eats the bear.[(triple11)] The lion eats the cat.[(triple12)] The lion needs the bear.[(triple13)] The lion sees the bear.[(triple14)] The lion sees the cat.[(triple15)] @1: The bear eats the cat.[(((triple11) -> rule5) OR ((((triple3 ((triple3) -> rule2)) -> rule4)) -> rule5) OR ((((triple7 ((triple7) -> rule2)) -> rule4)) -> rule5))] The bear is not green.[(((triple3) -> rule2))] The cat is not green.[(((triple7) -> rule2))] @2: The bear eats the bear.[(((triple3 ((triple3) -> rule2)) -> rule4))] The cat eats the bear.[(((triple7 ((triple7) -> rule2)) -> rule4))]