The bear chases the dog. The dog needs the bear. The mouse sees the dog. The rabbit is big. If something sees the bear and the bear is not cold then it does not see the dog. If something sees the dog then it is blue.
The bear chases the dog.
("bear" "chases" "dog" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
If something sees the bear and the bear is not cold then it does not see the dog.
((("something" "sees" "bear" "+") ("bear" "is" "cold" "~")) -> ("something" "sees" "dog" "-"))
If something sees the dog then it is blue.
((("something" "sees" "dog" "+")) -> ("something" "is" "blue" "+"))
The bear chases the dog.
True
1
proof
[(triple1)]
("bear" "chases" "dog" "+")
triple1
The mouse does not see the dog.
False
1
inv-proof
[(triple3)]
("mouse" "sees" "dog" "-")
triple3
The mouse is blue.
True
2
proof
[(((triple3) -> rule2))]
("mouse" "is" "blue" "+")
((triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is not blue.
False
2
inv-proof
[(((triple3) -> rule2))]
("mouse" "is" "blue" "-")
((triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The rabbit is not blue.
Unknown
inv-rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "blue" "-")
The bear is blue.
Unknown
rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule2 <- 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 dog chases the mouse.
Unknown
random
[@0: The dog chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "mouse" "+")
@0: The bear chases the dog.[(triple1)] The dog needs the bear.[(triple2)] The mouse sees the dog.[(triple3)] The rabbit is big.[(triple4)] @1: The mouse is blue.[(((triple3) -> rule2))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The dog needs the bear.
("dog" "needs" "bear" "+")
triple2
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple3
The rabbit is big.
("rabbit" "is" "big" "+")
triple4
The mouse is blue.
("mouse" "is" "blue" "+")
((triple3) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1