The dog eats the squirrel. The dog is blue. The dog is kind. The dog likes the squirrel. The dog sees the squirrel. The squirrel eats the dog. The squirrel is kind. The squirrel is young. The squirrel likes the dog. The squirrel sees the dog. If the dog likes the squirrel and the squirrel likes the dog then the squirrel is young.
The squirrel is not blue.
@0: The dog eats the squirrel.[(triple1)] The dog is blue.[(triple2)] The dog is kind.[(triple3)] The dog likes the squirrel.[(triple4)] The dog sees the squirrel.[(triple5)] The squirrel eats the dog.[(triple6)] The squirrel is kind.[(triple7)] The squirrel is young.[(triple8 OR ((triple4 triple9) -> rule1))] The squirrel likes the dog.[(triple9)] The squirrel sees the dog.[(triple10)]