The bear is big. The cow chases the bear. The cow is red. The cow likes the rabbit. The cow sees the bear. The dog chases the cow. The rabbit is blue. If someone likes the rabbit and the rabbit sees the dog then the rabbit is green. If someone chases the bear then the bear is blue.
The bear is big.
("bear" "is" "big" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow is red.
("cow" "is" "red" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
If someone likes the rabbit and the rabbit sees the dog then the rabbit is green.
((("someone" "likes" "rabbit" "+") ("rabbit" "sees" "dog" "+")) -> ("rabbit" "is" "green" "+"))
If someone chases the bear then the bear is blue.
((("someone" "chases" "bear" "+")) -> ("bear" "is" "blue" "+"))
The bear is big.
True
1
proof
[(triple1)]
("bear" "is" "big" "+")
triple1
The cow does not chase the bear.
False
1
inv-proof
[(triple2)]
("cow" "chases" "bear" "-")
triple2
The bear is blue.
True
2
proof
[(((triple2) -> rule2))]
("bear" "is" "blue" "+")
((triple2) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is not blue.
False
2
inv-proof
[(((triple2) -> rule2))]
("bear" "is" "blue" "-")
((triple2) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The rabbit is not green.
Unknown
inv-rconc
[@1: The rabbit is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "green" "-")
The bear sees the rabbit.
Unknown
random
[@0: The bear sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "rabbit" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The rabbit chases the cow.
Unknown
random
[@0: The rabbit chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "cow" "+")
@0: The bear is big.[(triple1)] The cow chases the bear.[(triple2)] The cow is red.[(triple3)] The cow likes the rabbit.[(triple4)] The cow sees the bear.[(triple5)] The dog chases the cow.[(triple6)] The rabbit is blue.[(triple7)] @1: The bear is blue.[(((triple2) -> rule2))]
The bear is big.
("bear" "is" "big" "+")
triple1
The cow chases the bear.
("cow" "chases" "bear" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple4
The cow sees the bear.
("cow" "sees" "bear" "+")
triple5
The dog chases the cow.
("dog" "chases" "cow" "+")
triple6
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple7
The bear is blue.
("bear" "is" "blue" "+")
((triple2) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1