The cat chases the squirrel. The cat is blue. The dog is young. The dog needs the cat. The dog needs the squirrel. The dog needs the tiger. The squirrel is cold. The squirrel is green. The squirrel likes the cat. The tiger chases the cat. The tiger likes the dog. The tiger needs the dog. If something likes the dog and it chases the dog then the dog needs the cat. If something likes the tiger then the tiger likes the dog. If the tiger likes the dog and the tiger chases the squirrel then the squirrel chases the tiger. If something chases the squirrel and the squirrel chases the dog then the squirrel needs the tiger. If something likes the cat and the cat is cold then it chases the dog. If something chases the squirrel then it is cold. If something chases the tiger then the tiger is cold. If something is green and it needs the cat then it likes the cat.
The cat is blue.
@0: The cat chases the squirrel.[(triple1)] The cat is blue.[(triple2)] The dog is young.[(triple3)] The dog needs the cat.[(triple4)] The dog needs the squirrel.[(triple5)] The dog needs the tiger.[(triple6)] The squirrel is cold.[(triple7)] The squirrel is green.[(triple8)] The squirrel likes the cat.[(triple9)] The tiger chases the cat.[(triple10)] The tiger likes the dog.[(triple11)] The tiger needs the dog.[(triple12)] @1: The cat is cold.[(((triple1) -> rule6))] @2: The squirrel chases the dog.[(((triple9 ((triple1) -> rule6)) -> rule5))] @3: The squirrel needs the tiger.[(((triple1 ((triple9 ((triple1) -> rule6)) -> rule5)) -> rule4))]