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