The dog is kind. The dog visits the squirrel. The squirrel is big. The squirrel is blue. The squirrel is kind. The squirrel is not red. The squirrel is young. The squirrel does not like the dog. The squirrel does not need the dog. The squirrel visits the dog. If someone visits the squirrel then they need the dog. If someone is red and they need the dog then the dog does not need the squirrel. If someone likes the squirrel and the squirrel does not like the dog then the dog needs the squirrel. If someone likes the squirrel then they need the squirrel. If someone visits the dog then the dog likes the squirrel. If someone needs the dog and the dog is not young then they are blue.
The dog does not visit the dog.
@0: The dog is kind.[(triple1)] The dog visits the squirrel.[(triple2)] The squirrel does not like the dog.[(triple8)] The squirrel does not need the dog.[(triple9)] The squirrel is big.[(triple3)] The squirrel is blue.[(triple4)] The squirrel is kind.[(triple5)] The squirrel is not red.[(triple6)] The squirrel is young.[(triple7)] The squirrel visits the dog.[(triple10)] @1: The dog likes the squirrel.[(((triple10) -> rule5))] The dog needs the dog.[(((triple2) -> rule1))] @2: The dog needs the squirrel.[(((((triple10) -> rule5)) -> rule4) OR ((((triple10) -> rule5) triple8) -> rule3))]