The cat chases the dog. The cat needs the squirrel. The cat does not need the tiger. The cat sees the tiger. The dog is blue. The squirrel chases the dog. The squirrel is nice. The squirrel is red. The squirrel does not need the cat. The tiger does not chase the cat. The tiger is not big. The tiger is blue. The tiger is not rough. The tiger needs the squirrel. The tiger does not see the squirrel. If someone sees the squirrel and they are not red then they see the tiger. If someone is big then they see the dog. If someone is blue and nice then they chase the squirrel. If the squirrel is big then the squirrel is rough. If someone chases the squirrel then the squirrel is rough. If someone needs the squirrel then the squirrel is blue.
The cat is not rough.
@0: The cat chases the dog.[(triple1)] The cat does not need the tiger.[(triple3)] The cat needs the squirrel.[(triple2)] The cat sees the tiger.[(triple4)] The dog is blue.[(triple5)] The squirrel chases the dog.[(triple6)] The squirrel does not need the cat.[(triple9)] The squirrel is nice.[(triple7)] The squirrel is red.[(triple8)] The tiger does not chase the cat.[(triple10)] The tiger does not see the squirrel.[(triple15)] The tiger is blue.[(triple12)] The tiger is not big.[(triple11)] The tiger is not rough.[(triple13)] The tiger needs the squirrel.[(triple14)] @1: The squirrel is blue.[(((triple14) -> rule6) OR ((triple2) -> rule6))] @2: The squirrel chases the squirrel.[(((((triple14) -> rule6) triple7) -> rule3) OR ((((triple2) -> rule6) triple7) -> rule3))] @3: The squirrel is rough.[(((((((triple14) -> rule6) triple7) -> rule3)) -> rule5) OR ((((((triple2) -> rule6) triple7) -> rule3)) -> rule5))]