The bear is blue. The bear is young. The bear likes the squirrel. The dog chases the bear. The dog is blue. The dog is rough. The dog sees the squirrel. The squirrel does not chase the bear. The squirrel is rough. The squirrel likes the dog. The squirrel sees the bear. The squirrel does not see the dog. If someone is red and they see the squirrel then they are rough. If someone sees the squirrel then they do not chase the dog. If someone is red and they like the bear then they chase the bear. If someone sees the squirrel then they are red. If someone chases the dog and they chase the squirrel then the dog does not chase the squirrel. If the dog sees the squirrel and the squirrel likes the bear then the dog chases the bear. If someone likes the squirrel and they chase the bear then the bear sees the dog. If someone is red then they like the squirrel.
The dog is red.
@0: The bear is blue.[(triple1)] The bear is young.[(triple2)] The bear likes the squirrel.[(triple3)] The dog chases the bear.[(triple4)] The dog is blue.[(triple5)] The dog is rough.[(triple6 OR ((((triple7) -> rule4) triple7) -> rule1))] The dog sees the squirrel.[(triple7)] The squirrel does not chase the bear.[(triple8)] The squirrel does not see the dog.[(triple12)] The squirrel is rough.[(triple9)] The squirrel likes the dog.[(triple10)] The squirrel sees the bear.[(triple11)] @1: The dog does not chase the dog.[(((triple7) -> rule2))] The dog is red.[(((triple7) -> rule4))] @2: The dog likes the squirrel.[(((((triple7) -> rule4)) -> rule8))] @3: The bear sees the dog.[(((((((triple7) -> rule4)) -> rule8) triple4) -> rule7))]