The bear chases the cat. The bear is green. The bear visits the cat. The cat does not chase the bear. The cat eats the bear. The cat is nice. The cat is rough. All green people are kind. If someone is round and kind then they do not chase the cat. If someone is green then they chase the cat.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is green.
("bear" "is" "green" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat does not chase the bear.
("cat" "chases" "bear" "-")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is rough.
("cat" "is" "rough" "+")
All green people are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and kind then they do not chase the cat.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "chases" "cat" "-"))
If someone is green then they chase the cat.
((("someone" "is" "green" "+")) -> ("someone" "chases" "cat" "+"))
The bear visits the cat.
True
1
proof
[(triple3)]
("bear" "visits" "cat" "+")
triple3
The cat does not eat the bear.
False
1
inv-proof
[(triple5)]
("cat" "eats" "bear" "-")
triple5
The cat does not chase the cat.
Unknown
inv-rconc
[@1: The cat chases the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "chases" "cat" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The bear chases the cat.[(triple1 OR ((triple2) -> rule3))] The bear is green.[(triple2)] The bear visits the cat.[(triple3)] The cat does not chase the bear.[(triple4)] The cat eats the bear.[(triple5)] The cat is nice.[(triple6)] The cat is rough.[(triple7)] @1: The bear is kind.[(((triple2) -> rule1))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
((triple2) -> (rule3 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear visits the cat.
("bear" "visits" "cat" "+")
triple3
The cat does not chase the bear.
("cat" "chases" "bear" "-")
triple4
The cat eats the bear.
("cat" "eats" "bear" "+")
triple5
The cat is nice.
("cat" "is" "nice" "+")
triple6
The cat is rough.
("cat" "is" "rough" "+")
triple7
The bear is kind.
("bear" "is" "kind" "+")
((triple2) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1