The bear sees the cat. The cat is cold. The squirrel sees the bear. If something eats the squirrel and the squirrel is cold then it chases the cat. If something sees the cat then it is green. All red, young things are cold.
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat is cold.
("cat" "is" "cold" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If something eats the squirrel and the squirrel is cold then it chases the cat.
((("something" "eats" "squirrel" "+") ("squirrel" "is" "cold" "+")) -> ("something" "chases" "cat" "+"))
If something sees the cat then it is green.
((("something" "sees" "cat" "+")) -> ("something" "is" "green" "+"))
All red, young things are cold.
((("something" "is" "red" "+") ("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
The bear sees the cat.
True
1
proof
[(triple1)]
("bear" "sees" "cat" "+")
triple1
The cat is not cold.
False
1
inv-proof
[(triple2)]
("cat" "is" "cold" "-")
triple2
The bear is green.
True
2
proof
[(((triple1) -> rule2))]
("bear" "is" "green" "+")
((triple1) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not green.
False
2
inv-proof
[(((triple1) -> rule2))]
("bear" "is" "green" "-")
((triple1) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear does not chase the cat.
Unknown
inv-rconc
[@1: The bear chases the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "chases" "cat" "-")
The bear is cold.
Unknown
rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "cold" "+")
The bear is not young.
Unknown
inv-random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "-")
The cat is young.
Unknown
random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "+")
@0: The bear sees the cat.[(triple1)] The cat is cold.[(triple2)] The squirrel sees the bear.[(triple3)] @1: The bear is green.[(((triple1) -> rule2))]
The bear sees the cat.
("bear" "sees" "cat" "+")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple3
The bear is green.
("bear" "is" "green" "+")
((triple1) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1