The bear is cold. The bear sees the cat. The bear sees the dog. The bear does not visit the dog. The cat chases the squirrel. The cat is kind. The cat is nice. The cat does not see the bear. The dog does not chase the cat. The dog chases the squirrel. The dog is green. The squirrel chases the bear. The squirrel is nice. The squirrel does not see the cat. The squirrel visits the dog. If something is green and it does not chase the cat then it sees the cat. If something visits the cat and it visits the dog then the dog sees the bear.
The bear is cold.
("bear" "is" "cold" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The bear does not visit the dog.
("bear" "visits" "dog" "-")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat does not see the bear.
("cat" "sees" "bear" "-")
The dog does not chase the cat.
("dog" "chases" "cat" "-")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is green.
("dog" "is" "green" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel does not see the cat.
("squirrel" "sees" "cat" "-")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If something is green and it does not chase the cat then it sees the cat.
((("something" "is" "green" "+") ("something" "chases" "cat" "~")) -> ("something" "sees" "cat" "+"))
If something visits the cat and it visits the dog then the dog sees the bear.
((("something" "visits" "cat" "+") ("something" "visits" "dog" "+")) -> ("dog" "sees" "bear" "+"))
The dog chases the squirrel.
True
1
proof
[(triple10)]
("dog" "chases" "squirrel" "+")
triple10
The dog is not green.
False
1
inv-proof
[(triple11)]
("dog" "is" "green" "-")
triple11
The dog does not see the bear.
Unknown
inv-rconc
[@1: The dog sees the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "sees" "bear" "-")
The dog sees the squirrel.
Unknown
random
[@0: The dog sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "squirrel" "+")
@0: The bear does not visit the dog.[(triple4)] The bear is cold.[(triple1)] The bear sees the cat.[(triple2)] The bear sees the dog.[(triple3)] The cat chases the squirrel.[(triple5)] The cat does not see the bear.[(triple8)] The cat is kind.[(triple6)] The cat is nice.[(triple7)] The dog chases the squirrel.[(triple10)] The dog does not chase the cat.[(triple9)] The dog is green.[(triple11)] The squirrel chases the bear.[(triple12)] The squirrel does not see the cat.[(triple14)] The squirrel is nice.[(triple13)] The squirrel visits the dog.[(triple15)] @1: The dog sees the cat.[(((triple11 triple9) -> rule1))]
The bear does not visit the dog.
("bear" "visits" "dog" "-")
triple4
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear sees the cat.
("bear" "sees" "cat" "+")
triple2
The bear sees the dog.
("bear" "sees" "dog" "+")
triple3
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple5
The cat does not see the bear.
("cat" "sees" "bear" "-")
triple8
The cat is kind.
("cat" "is" "kind" "+")
triple6
The cat is nice.
("cat" "is" "nice" "+")
triple7
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple10
The dog does not chase the cat.
("dog" "chases" "cat" "-")
triple9
The dog is green.
("dog" "is" "green" "+")
triple11
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple12
The squirrel does not see the cat.
("squirrel" "sees" "cat" "-")
triple14
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple13
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple15
The dog sees the cat.
("dog" "sees" "cat" "+")
((triple11 triple9) -> (rule1 % int1))
The dog sees the cat.
("dog" "sees" "cat" "+")
int1