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