The bear chases the tiger. The bear likes the lion. The lion is blue. The lion likes the tiger. The rabbit is round. The rabbit likes the tiger. The tiger sees the bear. If someone likes the rabbit and they chase the bear then the bear sees the lion. If someone is blue then they chase the bear. If someone likes the tiger then they are green. If someone likes the rabbit then the rabbit chases the tiger. If someone likes the rabbit and the rabbit likes the bear then they chase the bear. If someone likes the lion then the lion chases the rabbit. Round, green people are blue. If the lion sees the tiger and the lion is rough then the lion chases the tiger.
The rabbit does not chase the bear.
@0: The bear chases the tiger.[(triple1)] The bear likes the lion.[(triple2)] The lion is blue.[(triple3)] The lion likes the tiger.[(triple4)] The rabbit is round.[(triple5)] The rabbit likes the tiger.[(triple6)] The tiger sees the bear.[(triple7)] @1: The lion chases the bear.[(((triple3) -> rule2))] The lion chases the rabbit.[(((triple2) -> rule6))] The lion is green.[(((triple4) -> rule3))] The rabbit is green.[(((triple6) -> rule3))] @2: The rabbit is blue.[(((triple5 ((triple6) -> rule3)) -> rule7))] @3: The rabbit chases the bear.[(((((triple5 ((triple6) -> rule3)) -> rule7)) -> rule2))]