The bear is blue. The bear visits the cat. The cat eats the bear. The cat is green. The cat is round. The dog eats the cat. The dog is young. The dog visits the bear. The squirrel eats the dog. The squirrel visits the dog. If someone sees the bear then the bear eats the dog. If someone sees the cat then the cat is red. If someone visits the cat and they are blue then they see the cat. If someone sees the squirrel then the squirrel is red. If someone visits the cat and they see the cat then the cat sees the squirrel. If the cat is blue and the cat sees the squirrel then the squirrel is red. If someone is round and they eat the bear then they visit the cat. If someone sees the bear and the bear is red then they visit the dog.
The cat does not visit the dog.
@0: The bear is blue.[(triple1)] The bear visits the cat.[(triple2)] The cat eats the bear.[(triple3)] The cat is green.[(triple4)] The cat is round.[(triple5)] The dog eats the cat.[(triple6)] The dog is young.[(triple7)] The dog visits the bear.[(triple8)] The squirrel eats the dog.[(triple9)] The squirrel visits the dog.[(triple10)] @1: The bear sees the cat.[(((triple2 triple1) -> rule3))] The cat visits the cat.[(((triple5 triple3) -> rule7))] @2: The cat is red.[(((((triple2 triple1) -> rule3)) -> rule2))] The cat sees the squirrel.[(((triple2 ((triple2 triple1) -> rule3)) -> rule5))] @3: The squirrel is red.[(((((triple2 ((triple2 triple1) -> rule3)) -> rule5)) -> rule4))]