The cat chases the dog. The cat chases the squirrel. The cat eats the dog. The cat eats the squirrel. The cat is blue. The cat is kind. The cat is rough. The cat visits the dog. The cat visits the squirrel. The dog chases the squirrel. The dog eats the cat. The dog visits the cat. The squirrel eats the dog. The squirrel is green. The squirrel is kind. The squirrel is rough. If something is kind and it visits the dog then it chases the cat. If something visits the dog and the dog is kind then the dog visits the squirrel. If something chases the cat then it is green. If something is kind and blue then it eats the dog. If something is green then it visits the cat. If the cat is kind then the cat chases the dog.
The cat chases the cat.
@0: The cat chases the dog.[(triple1 OR ((triple6) -> rule6))] The cat chases the squirrel.[(triple2)] The cat eats the dog.[(triple3 OR ((triple6 triple5) -> rule4))] The cat eats the squirrel.[(triple4)] The cat is blue.[(triple5)] The cat is kind.[(triple6)] The cat is rough.[(triple7)] The cat visits the dog.[(triple8)] The cat visits the squirrel.[(triple9)] The dog chases the squirrel.[(triple10)] The dog eats the cat.[(triple11)] The dog visits the cat.[(triple12)] The squirrel eats the dog.[(triple13)] The squirrel is green.[(triple14)] The squirrel is kind.[(triple15)] The squirrel is rough.[(triple16)] @1: The cat chases the cat.[(((triple6 triple8) -> rule1))] The squirrel visits the cat.[(((triple14) -> rule5))] @2: The cat is green.[(((((triple6 triple8) -> rule1)) -> rule3))] @3: The cat visits the cat.[(((((((triple6 triple8) -> rule1)) -> rule3)) -> rule5))]