The bear chases the cat. The bear eats the cat. The bear likes the cat. The bear does not like the lion. The cat chases the lion. The cat chases the squirrel. The cat likes the bear. The lion is nice. The lion likes the cat. The squirrel is nice. If the bear chases the squirrel and the squirrel eats the bear then the squirrel likes the cat. If something is blue then it does not chase the bear. If the cat is nice and the cat is not round then the cat is blue. If something likes the cat then the cat is blue. If something likes the squirrel then the squirrel does not chase the lion. If something likes the bear then the bear does not like the squirrel.
The squirrel is not blue.
@0: The bear chases the cat.[(triple1)] The bear does not like the lion.[(triple4)] The bear eats the cat.[(triple2)] The bear likes the cat.[(triple3)] The cat chases the lion.[(triple5)] The cat chases the squirrel.[(triple6)] The cat likes the bear.[(triple7)] The lion is nice.[(triple8)] The lion likes the cat.[(triple9)] The squirrel is nice.[(triple10)] @1: The bear does not like the squirrel.[(((triple7) -> rule6))] The cat is blue.[(((triple3) -> rule4) OR ((triple9) -> rule4))] @2: The cat does not chase the bear.[(((((triple3) -> rule4)) -> rule2) OR ((((triple9) -> rule4)) -> rule2))]