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