The cat is rough. The dog chases the squirrel. The dog eats the squirrel. The dog is not blue. The dog is cold. The dog is rough. The squirrel is green. The tiger does not chase the squirrel. The tiger likes the cat. The tiger likes the squirrel. If something chases the squirrel then the squirrel eats the cat. If something chases the tiger and the tiger likes the dog then the dog is rough. If something eats the tiger then the tiger eats the dog. If the squirrel is cold and the squirrel does not chase the tiger then the squirrel eats the dog. If the dog eats the tiger and the dog chases the cat then the dog is not green. If something is rough and it chases the tiger then it chases the squirrel. If something likes the cat then it likes the squirrel. If something likes the dog then the dog eats the cat.
The squirrel is rough.
@0: The cat is rough.[(triple1)] The dog chases the squirrel.[(triple2)] The dog eats the squirrel.[(triple3)] The dog is cold.[(triple5)] The dog is not blue.[(triple4)] The dog is rough.[(triple6)] The squirrel is green.[(triple7)] The tiger does not chase the squirrel.[(triple8)] The tiger likes the cat.[(triple9)] The tiger likes the squirrel.[(triple10 OR ((triple9) -> rule7))] @1: The squirrel eats the cat.[(((triple2) -> rule1))]