The bear chases the cat. The bear is nice. The bear is rough. The bear needs the cat. The cat chases the bear. The cat eats the bear. The cat is green. If something needs the bear then it is rough. If the cat eats the bear then the bear eats the cat.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is green.
("cat" "is" "green" "+")
If something needs the bear then it is rough.
((("something" "needs" "bear" "+")) -> ("something" "is" "rough" "+"))
If the cat eats the bear then the bear eats the cat.
((("cat" "eats" "bear" "+")) -> ("bear" "eats" "cat" "+"))
The cat chases the bear.
True
1
proof
[(triple5)]
("cat" "chases" "bear" "+")
triple5
The cat does not eat the bear.
False
1
inv-proof
[(triple6)]
("cat" "eats" "bear" "-")
triple6
The cat is not rough.
Unknown
inv-rconc
[@1: The cat is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "rough" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear chases the cat.[(triple1)] The bear is nice.[(triple2)] The bear is rough.[(triple3)] The bear needs the cat.[(triple4)] The cat chases the bear.[(triple5)] The cat eats the bear.[(triple6)] The cat is green.[(triple7)] @1: The bear eats the cat.[(((triple6) -> rule2))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear needs the cat.
("bear" "needs" "cat" "+")
triple4
The cat chases the bear.
("cat" "chases" "bear" "+")
triple5
The cat eats the bear.
("cat" "eats" "bear" "+")
triple6
The cat is green.
("cat" "is" "green" "+")
triple7
The bear eats the cat.
("bear" "eats" "cat" "+")
((triple6) -> (rule2 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1