The bear is blue. The bear is green. The bear is round. The bear needs the cat. The bear visits the cat. The cat is blue. The cat sees the bear. If someone visits the cat then they see the bear. If the cat is round and the cat is not red then the cat does not see the bear.
The bear is blue.
("bear" "is" "blue" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
If someone visits the cat then they see the bear.
((("someone" "visits" "cat" "+")) -> ("someone" "sees" "bear" "+"))
If the cat is round and the cat is not red then the cat does not see the bear.
((("cat" "is" "round" "+") ("cat" "is" "red" "~")) -> ("cat" "sees" "bear" "-"))
The bear needs the cat.
True
1
proof
[(triple4)]
("bear" "needs" "cat" "+")
triple4
The bear does not need the cat.
False
1
inv-proof
[(triple4)]
("bear" "needs" "cat" "-")
triple4
The bear sees the bear.
True
2
proof
[(((triple5) -> rule1))]
("bear" "sees" "bear" "+")
((triple5) -> (rule1 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear does not see the bear.
False
2
inv-proof
[(((triple5) -> rule1))]
("bear" "sees" "bear" "-")
((triple5) -> (rule1 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear is not red.
Unknown
inv-random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "-")
The bear sees the cat.
Unknown
random
[@0: The bear sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "cat" "+")
The cat does not visit the bear.
Unknown
inv-random
[@0: The cat visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "bear" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
@0: The bear is blue.[(triple1)] The bear is green.[(triple2)] The bear is round.[(triple3)] The bear needs the cat.[(triple4)] The bear visits the cat.[(triple5)] The cat is blue.[(triple6)] The cat sees the bear.[(triple7)] @1: The bear sees the bear.[(((triple5) -> rule1))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear needs the cat.
("bear" "needs" "cat" "+")
triple4
The bear visits the cat.
("bear" "visits" "cat" "+")
triple5
The cat is blue.
("cat" "is" "blue" "+")
triple6
The cat sees the bear.
("cat" "sees" "bear" "+")
triple7
The bear sees the bear.
("bear" "sees" "bear" "+")
((triple5) -> (rule1 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1