The dog chases the squirrel. The dog is blue. The dog is green. The dog is kind. The dog is not young. The dog likes the squirrel. The dog sees the squirrel. The squirrel chases the dog. The squirrel is green. The squirrel is young. The squirrel likes the dog. The squirrel sees the dog. If someone sees the squirrel then they are kind. If someone chases the squirrel then the squirrel is cold. If someone sees the dog then the dog is cold. If someone sees the squirrel and they are green then the squirrel is green. If someone is cold then they like the dog. If someone likes the dog then they like the squirrel.
The dog is green.
@0: The dog chases the squirrel.[(triple1)] The dog is blue.[(triple2)] The dog is green.[(triple3)] The dog is kind.[(triple4 OR ((triple7) -> rule1))] The dog is not young.[(triple5)] The dog likes the squirrel.[(triple6 OR ((((((triple12) -> rule3)) -> rule5)) -> rule6))] The dog sees the squirrel.[(triple7)] The squirrel chases the dog.[(triple8)] The squirrel is green.[(triple9 OR ((triple7 triple3) -> rule4))] The squirrel is young.[(triple10)] The squirrel likes the dog.[(triple11 OR ((((triple1) -> rule2)) -> rule5))] The squirrel sees the dog.[(triple12)] @1: The dog is cold.[(((triple12) -> rule3))] The squirrel is cold.[(((triple1) -> rule2))] The squirrel likes the squirrel.[(((triple11) -> rule6) OR ((((((triple1) -> rule2)) -> rule5)) -> rule6))] @2: The dog likes the dog.[(((((triple12) -> rule3)) -> rule5))]