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