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