The bear is green. The bear is nice. The cat needs the lion. The cat does not see the bear. The lion sees the bear. The lion visits the bear. The lion visits the cat. If something is nice then it visits the bear. If something needs the bear and the bear sees the lion then the lion does not see the bear. If something visits the bear then it sees the bear. If something needs the lion and the lion is big then the lion is nice. If something visits the lion and the lion sees the bear then it sees the lion. If something is blue and not green then it sees the lion. If something is nice and it needs the cat then the cat is round. If something is green and nice then it needs the cat.
The cat does not need the cat.
@0: The bear is green.[(triple1)] The bear is nice.[(triple2)] The cat does not see the bear.[(triple4)] The cat needs the lion.[(triple3)] The lion sees the bear.[(triple5 OR ((triple6) -> rule3))] The lion visits the bear.[(triple6)] The lion visits the cat.[(triple7)] @1: The bear needs the cat.[(((triple1 triple2) -> rule8))] The bear visits the bear.[(((triple2) -> rule1))] @2: The bear sees the bear.[(((((triple2) -> rule1)) -> rule3))] The cat is round.[(((triple2 ((triple1 triple2) -> rule8)) -> rule7))]