The bear needs the cat. The cat needs the bear. The lion chases the bear. The lion needs the bear. The lion needs the cat. The lion sees the bear. The lion sees the cat. If something is round and it needs the lion then the lion sees the bear. If the lion needs the bear and the lion sees the bear then the bear is blue. If the bear is green and the bear is rough then the bear is blue. If something sees the lion and the lion sees the cat then the lion chases the bear. If something chases the lion then the lion does not chase the bear. If something sees the bear and it is cold then it is not round. If something needs the cat then it is round. If something chases the bear and the bear sees the lion then the bear chases the lion.
The bear is blue.
@0: The bear needs the cat.[(triple1)] The cat needs the bear.[(triple2)] The lion chases the bear.[(triple3)] The lion needs the bear.[(triple4)] The lion needs the cat.[(triple5)] The lion sees the bear.[(triple6)] The lion sees the cat.[(triple7)] @1: The bear is blue.[(((triple4 triple6) -> rule2))] The bear is round.[(((triple1) -> rule7))] The lion is round.[(((triple5) -> rule7))]