The bear chases the cat. The bear is red. The cat does not eat the bear. If someone chases the bear and the bear likes the cat then they chase the cat. All red people are not green. If the bear chases the cat and the bear does not like the cat then the cat does not like the bear.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is red.
("bear" "is" "red" "+")
The cat does not eat the bear.
("cat" "eats" "bear" "-")
If someone chases the bear and the bear likes the cat then they chase the cat.
((("someone" "chases" "bear" "+") ("bear" "likes" "cat" "+")) -> ("someone" "chases" "cat" "+"))
All red people are not green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "-"))
If the bear chases the cat and the bear does not like the cat then the cat does not like the bear.
((("bear" "chases" "cat" "+") ("bear" "likes" "cat" "~")) -> ("cat" "likes" "bear" "-"))
The bear is red.
True
1
proof
[(triple2)]
("bear" "is" "red" "+")
triple2
The cat eats the bear.
False
1
inv-proof
[(triple3)]
("cat" "eats" "bear" "+")
triple3
The bear is not green.
True
2
proof
[(((triple2) -> rule2))]
("bear" "is" "green" "-")
((triple2) -> (rule2 % int1))
The bear is not green.
("bear" "is" "green" "-")
int1
The bear is green.
False
2
inv-proof
[(((triple2) -> rule2))]
("bear" "is" "green" "+")
((triple2) -> (rule2 % int1))
The bear is not green.
("bear" "is" "green" "-")
int1
The cat does not chase the cat.
Unknown
inv-rconc
[@1: The cat chases the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "chases" "cat" "-")
The bear eats the cat.
Unknown
random
[@0: The bear eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "cat" "+")
The cat is not young.
Unknown
inv-random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "-")
The cat is round.
Unknown
random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "+")
@0: The bear chases the cat.[(triple1)] The bear is red.[(triple2)] The cat does not eat the bear.[(triple3)] @1: The bear is not green.[(((triple2) -> rule2))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The cat does not eat the bear.
("cat" "eats" "bear" "-")
triple3
The bear is not green.
("bear" "is" "green" "-")
((triple2) -> (rule2 % int1))
The bear is not green.
("bear" "is" "green" "-")
int1