The dog chases the rabbit. The rabbit is cold. The rabbit does not see the dog. The squirrel chases the rabbit. The squirrel is cold. The squirrel sees the dog. The squirrel sees the rabbit. If something chases the dog then the dog likes the rabbit. If something chases the rabbit then the rabbit does not chase the squirrel. If the rabbit chases the squirrel then the rabbit likes the squirrel. If something likes the dog then it sees the squirrel. If something sees the rabbit then the rabbit is big. If something likes the dog then the dog is not kind. If something chases the squirrel and the squirrel is cold then it is not round. If something is big then it likes the dog.
The dog is kind.
@0: The dog chases the rabbit.[(triple1)] The rabbit does not see the dog.[(triple3)] The rabbit is cold.[(triple2)] The squirrel chases the rabbit.[(triple4)] The squirrel is cold.[(triple5)] The squirrel sees the dog.[(triple6)] The squirrel sees the rabbit.[(triple7)] @1: The rabbit does not chase the squirrel.[(((triple1) -> rule2) OR ((triple4) -> rule2))] The rabbit is big.[(((triple7) -> rule5))] @2: The rabbit likes the dog.[(((((triple7) -> rule5)) -> rule8))] @3: The dog is not kind.[(((((((triple7) -> rule5)) -> rule8)) -> rule6))] The rabbit sees the squirrel.[(((((((triple7) -> rule5)) -> rule8)) -> rule4))]