The dog chases the squirrel. The dog is big. The dog is cold. The dog is green. The dog is not kind. The dog is round. The dog sees the squirrel. The dog visits the squirrel. The squirrel does not chase the dog. The squirrel is not green. The squirrel sees the dog. The squirrel visits the dog. If the squirrel sees the dog and the squirrel does not chase the dog then the dog is cold. If the squirrel is kind then the squirrel is green. If the squirrel sees the dog then the squirrel is not kind. If the dog visits the squirrel then the dog sees the squirrel. If the squirrel sees the dog and the squirrel chases the dog then the squirrel visits the dog. If someone is round and they do not see the dog then they visit the squirrel.
The dog is not big.
@0: The dog chases the squirrel.[(triple1)] The dog is big.[(triple2)] The dog is cold.[(triple3 OR ((triple11 triple9) -> rule1))] The dog is green.[(triple4)] The dog is not kind.[(triple5)] The dog is round.[(triple6)] The dog sees the squirrel.[(triple7 OR ((triple8) -> rule4))] The dog visits the squirrel.[(triple8)] The squirrel does not chase the dog.[(triple9)] The squirrel is not green.[(triple10)] The squirrel sees the dog.[(triple11)] The squirrel visits the dog.[(triple12)] @1: The squirrel is not kind.[(((triple11) -> rule3))]