The bear chases the cat. The cat chases the bear. The cat chases the lion. The cat is blue. The cat likes the bear. The cat likes the rabbit. The cat needs the lion. The lion chases the bear. The lion chases the rabbit. The lion is kind. The lion is round. The lion is young. The lion likes the cat. The lion needs the bear. The rabbit chases the lion. The rabbit is cold. If someone likes the bear then they are round. If the lion is blue then the lion likes the rabbit.
The cat is not blue.
@0: The bear chases the cat.[(triple1)] The cat chases the bear.[(triple2)] The cat chases the lion.[(triple3)] The cat is blue.[(triple4)] The cat likes the bear.[(triple5)] The cat likes the rabbit.[(triple6)] The cat needs the lion.[(triple7)] The lion chases the bear.[(triple8)] The lion chases the rabbit.[(triple9)] The lion is kind.[(triple10)] The lion is round.[(triple11)] The lion is young.[(triple12)] The lion likes the cat.[(triple13)] The lion needs the bear.[(triple14)] The rabbit chases the lion.[(triple15)] The rabbit is cold.[(triple16)] @1: The cat is round.[(((triple5) -> rule1))]