The dog likes the lion. The lion is blue. The lion is red. The lion likes the tiger. The squirrel likes the tiger. The squirrel sees the dog. The tiger is blue. The tiger is kind. The tiger likes the dog. The tiger likes the lion. If someone is nice then they see the lion. If the squirrel is kind then the squirrel likes the dog. If someone likes the tiger then they are nice. If the lion needs the squirrel and the lion is big then the lion is red. If someone sees the lion then they need the dog. If someone likes the tiger then the tiger sees the dog. If the squirrel sees the tiger then the tiger needs the dog. If someone likes the dog and the dog is blue then the dog is big.
The dog is not red.
@0: The dog likes the lion.[(triple1)] The lion is blue.[(triple2)] The lion is red.[(triple3)] The lion likes the tiger.[(triple4)] The squirrel likes the tiger.[(triple5)] The squirrel sees the dog.[(triple6)] The tiger is blue.[(triple7)] The tiger is kind.[(triple8)] The tiger likes the dog.[(triple9)] The tiger likes the lion.[(triple10)] @1: The lion is nice.[(((triple4) -> rule3))] The squirrel is nice.[(((triple5) -> rule3))] The tiger sees the dog.[(((triple4) -> rule6) OR ((triple5) -> rule6))] @2: The lion sees the lion.[(((((triple4) -> rule3)) -> rule1))] The squirrel sees the lion.[(((((triple5) -> rule3)) -> rule1))] @3: The lion needs the dog.[(((((((triple4) -> rule3)) -> rule1)) -> rule5))] The squirrel needs the dog.[(((((((triple5) -> rule3)) -> rule1)) -> rule5))]