The cat is blue. The cat is kind. The cat is nice. The cat needs the dog. The cat visits the dog. The cat visits the squirrel. The dog sees the squirrel. The squirrel sees the cat. The squirrel visits the cat. The squirrel visits the dog. If the dog visits the squirrel then the dog is blue. If something visits the dog then the dog visits the squirrel.
The dog is round.
@0: The cat is blue.[(triple1)] The cat is kind.[(triple2)] The cat is nice.[(triple3)] The cat needs the dog.[(triple4)] The cat visits the dog.[(triple5)] The cat visits the squirrel.[(triple6)] The dog sees the squirrel.[(triple7)] The squirrel sees the cat.[(triple8)] The squirrel visits the cat.[(triple9)] The squirrel visits the dog.[(triple10)] @1: The dog visits the squirrel.[(((triple10) -> rule2) OR ((triple5) -> rule2))] @2: The dog is blue.[(((((triple10) -> rule2)) -> rule1) OR ((((triple5) -> rule2)) -> rule1))]