The bear chases the rabbit. The bear chases the squirrel. The cat chases the rabbit. The cat eats the squirrel. The cat is blue. The cat is rough. The cat is round. The rabbit chases the bear. The rabbit chases the cat. The rabbit eats the cat. The rabbit eats the squirrel. The rabbit visits the bear. The squirrel chases the cat. The squirrel is rough. The squirrel visits the bear. The squirrel visits the cat. Blue people are kind. All big people are round. If someone eats the cat then the cat eats the rabbit.
The squirrel is not round.
@0: The bear chases the rabbit.[(triple1)] The bear chases the squirrel.[(triple2)] The cat chases the rabbit.[(triple3)] The cat eats the squirrel.[(triple4)] The cat is blue.[(triple5)] The cat is rough.[(triple6)] The cat is round.[(triple7)] The rabbit chases the bear.[(triple8)] The rabbit chases the cat.[(triple9)] The rabbit eats the cat.[(triple10)] The rabbit eats the squirrel.[(triple11)] The rabbit visits the bear.[(triple12)] The squirrel chases the cat.[(triple13)] The squirrel is rough.[(triple14)] The squirrel visits the bear.[(triple15)] The squirrel visits the cat.[(triple16)] @1: The cat eats the rabbit.[(((triple10) -> rule3))] The cat is kind.[(((triple5) -> rule1))]