The bear chases the rabbit. The bear sees the rabbit. The bear visits the squirrel. The lion is green. The lion sees the bear. The lion sees the squirrel. The rabbit chases the bear. The rabbit chases the lion. The rabbit is blue. The rabbit visits the bear. The rabbit visits the lion. The squirrel chases the bear. The squirrel is blue. The squirrel is kind. The squirrel visits the rabbit. If something is green and kind then it visits the squirrel. All green things are kind. If something chases the rabbit and it visits the squirrel then the squirrel visits the lion. If something sees the lion and the lion visits the rabbit then the rabbit is kind. If something sees the squirrel then it visits the lion. If something is green and it chases the lion then it is blue. Blue things are nice. If something sees the squirrel and it is kind then it is blue.
The rabbit does not see the squirrel.
@0: The bear chases the rabbit.[(triple1)] The bear sees the rabbit.[(triple2)] The bear visits the squirrel.[(triple3)] The lion is green.[(triple4)] The lion sees the bear.[(triple5)] The lion sees the squirrel.[(triple6)] The rabbit chases the bear.[(triple7)] The rabbit chases the lion.[(triple8)] The rabbit is blue.[(triple9)] The rabbit visits the bear.[(triple10)] The rabbit visits the lion.[(triple11)] The squirrel chases the bear.[(triple12)] The squirrel is blue.[(triple13)] The squirrel is kind.[(triple14)] The squirrel visits the rabbit.[(triple15)] @1: The lion is kind.[(((triple4) -> rule2))] The lion visits the lion.[(((triple6) -> rule5))] The rabbit is nice.[(((triple9) -> rule7))] The squirrel is nice.[(((triple13) -> rule7))] The squirrel visits the lion.[(((triple1 triple3) -> rule3))] @2: The lion is blue.[(((triple6 ((triple4) -> rule2)) -> rule8))] The lion visits the squirrel.[(((triple4 ((triple4) -> rule2)) -> rule1))] @3: The lion is nice.[(((((triple6 ((triple4) -> rule2)) -> rule8)) -> rule7))]