The cat chases the dog. The cat is blue. The cat is young. The cat likes the squirrel. The cat sees the squirrel. The dog chases the cat. The dog is round. The dog is young. The dog likes the cat. The dog likes the squirrel. The dog sees the cat. The squirrel chases the cat. The squirrel is green. The squirrel likes the dog. The squirrel sees the dog. If someone is young then they chase the cat. If the dog sees the cat then the cat chases the squirrel. If the cat chases the squirrel and the cat likes the squirrel then the squirrel sees the cat. If someone is young and blue then they see the squirrel. If someone likes the squirrel and they see the dog then the squirrel likes the dog. If someone likes the cat and they chase the cat then the cat is green. If someone chases the squirrel then they are cold. Cold people are green.
The dog is not green.
@0: The cat chases the dog.[(triple1)] The cat is blue.[(triple2)] The cat is young.[(triple3)] The cat likes the squirrel.[(triple4)] The cat sees the squirrel.[(triple5 OR ((triple3 triple2) -> rule4))] The dog chases the cat.[(triple6 OR ((triple8) -> rule1))] The dog is round.[(triple7)] The dog is young.[(triple8)] The dog likes the cat.[(triple9)] The dog likes the squirrel.[(triple10)] The dog sees the cat.[(triple11)] The squirrel chases the cat.[(triple12)] The squirrel is green.[(triple13)] The squirrel likes the dog.[(triple14)] The squirrel sees the dog.[(triple15)] @1: The cat chases the cat.[(((triple3) -> rule1))] The cat chases the squirrel.[(((triple11) -> rule2))] The cat is green.[(((triple9 triple6) -> rule6) OR ((triple9 ((triple8) -> rule1)) -> rule6) OR ((((((triple11) -> rule2)) -> rule7)) -> rule8))] @2: The cat is cold.[(((((triple11) -> rule2)) -> rule7))] The squirrel sees the cat.[(((((triple11) -> rule2) triple4) -> rule3))]