The bear chases the lion. The bear is cold. The bear is nice. The bear visits the rabbit. The lion is red. The rabbit chases the bear. The rabbit is green. The squirrel chases the bear. The squirrel likes the bear. The squirrel visits the lion. If something chases the squirrel then the squirrel is red. If something likes the lion then it chases the squirrel. If something is red then it likes the lion. If something is nice and it chases the lion then it likes the rabbit. If something likes the bear and the bear likes the rabbit then the bear is green. If the squirrel visits the rabbit and the rabbit likes the bear then the bear visits the squirrel.
The rabbit does not chase the bear.
@0: The bear chases the lion.[(triple1)] The bear is cold.[(triple2)] The bear is nice.[(triple3)] The bear visits the rabbit.[(triple4)] The lion is red.[(triple5)] The rabbit chases the bear.[(triple6)] The rabbit is green.[(triple7)] The squirrel chases the bear.[(triple8)] The squirrel likes the bear.[(triple9)] The squirrel visits the lion.[(triple10)] @1: The bear likes the rabbit.[(((triple3 triple1) -> rule4))] The lion likes the lion.[(((triple5) -> rule3))] @2: The bear is green.[(((triple9 ((triple3 triple1) -> rule4)) -> rule5))] The lion chases the squirrel.[(((((triple5) -> rule3)) -> rule2))] @3: The squirrel is red.[(((((((triple5) -> rule3)) -> rule2)) -> rule1))] @4: The squirrel likes the lion.[(((((((((triple5) -> rule3)) -> rule2)) -> rule1)) -> rule3))] @5: The squirrel chases the squirrel.[(((((((((((triple5) -> rule3)) -> rule2)) -> rule1)) -> rule3)) -> rule2))]