The bear chases the rabbit. The bear is blue. The bear is red. The bear likes the rabbit. The rabbit chases the bear. The rabbit chases the squirrel. The rabbit is big. The rabbit is blue. The rabbit likes the squirrel. The rabbit sees the bear. The rabbit sees the squirrel. The squirrel chases the rabbit. If someone chases the bear and they see the rabbit then they like the squirrel. If someone chases the bear and they are blue then they like the squirrel. If someone is blue then they like the rabbit. If someone is green and big then they chase the bear. If someone sees the squirrel and the squirrel sees the bear then they see the rabbit. If someone likes the bear and the bear is red then they are red.
The rabbit is not blue.
@0: The bear chases the rabbit.[(triple1)] The bear is blue.[(triple2)] The bear is red.[(triple3)] The bear likes the rabbit.[(triple4 OR ((triple2) -> rule3))] The rabbit chases the bear.[(triple5)] The rabbit chases the squirrel.[(triple6)] The rabbit is big.[(triple7)] The rabbit is blue.[(triple8)] The rabbit likes the squirrel.[(triple9 OR ((triple5 triple8) -> rule2))] The rabbit sees the bear.[(triple10)] The rabbit sees the squirrel.[(triple11)] The squirrel chases the rabbit.[(triple12)] @1: The rabbit likes the rabbit.[(((triple8) -> rule3))]