The cat chases the dog. The dog chases the cat. The dog chases the squirrel. The dog eats the squirrel. The dog is big. The dog is nice. The dog is rough. The dog sees the cat. The dog sees the squirrel. The squirrel chases the cat. The squirrel eats the dog. The squirrel is big. The squirrel is nice. The squirrel is red. The squirrel sees the dog. If someone chases the squirrel and the squirrel sees the cat then they are green. If someone eats the dog and the dog eats the squirrel then the dog is nice. If the squirrel sees the dog then the dog eats the squirrel.
The squirrel sees the dog.
@0: The cat chases the dog.[(triple1)] The dog chases the cat.[(triple2)] The dog chases the squirrel.[(triple3)] The dog eats the squirrel.[(triple4 OR ((triple15) -> rule3))] The dog is big.[(triple5)] The dog is nice.[(triple6 OR ((triple11 triple4) -> rule2) OR ((triple11 ((triple15) -> rule3)) -> rule2))] The dog is rough.[(triple7)] The dog sees the cat.[(triple8)] The dog sees the squirrel.[(triple9)] The squirrel chases the cat.[(triple10)] The squirrel eats the dog.[(triple11)] The squirrel is big.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is red.[(triple14)] The squirrel sees the dog.[(triple15)]