The bear is red. The lion is not blue. The lion is green. The lion is rough. The tiger is round. The tiger needs the lion. The tiger does not see the bear. If something is red then it needs the bear. If something needs the bear then it chases the lion. If something sees the bear then it is round. If something is rough and it does not need the lion then it sees the lion. If something chases the lion then the lion needs the bear. If something sees the bear then it does not chase the tiger. If the tiger does not see the lion then the lion chases the bear. If something is round and it does not see the lion then it chases the bear.
The tiger does not see the bear.
@0: The bear is red.[(triple1)] The lion is green.[(triple3)] The lion is not blue.[(triple2)] The lion is rough.[(triple4)] The tiger does not see the bear.[(triple7)] The tiger is round.[(triple5)] The tiger needs the lion.[(triple6)] @1: The bear needs the bear.[(((triple1) -> rule1))] @2: The bear chases the lion.[(((((triple1) -> rule1)) -> rule2))] @3: The lion needs the bear.[(((((((triple1) -> rule1)) -> rule2)) -> rule5))] @4: The lion chases the lion.[(((((((((triple1) -> rule1)) -> rule2)) -> rule5)) -> rule2))]