The bear is round. The bear is young. The bear sees the dog. The bear visits the dog. The dog is green. The mouse chases the dog. The mouse sees the dog. If the dog sees the bear then the bear chases the dog. If someone sees the mouse then the mouse is kind. If someone visits the mouse and the mouse sees the bear then they chase the mouse.
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog is green.
("dog" "is" "green" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
If the dog sees the bear then the bear chases the dog.
((("dog" "sees" "bear" "+")) -> ("bear" "chases" "dog" "+"))
If someone sees the mouse then the mouse is kind.
((("someone" "sees" "mouse" "+")) -> ("mouse" "is" "kind" "+"))
If someone visits the mouse and the mouse sees the bear then they chase the mouse.
((("someone" "visits" "mouse" "+") ("mouse" "sees" "bear" "+")) -> ("someone" "chases" "mouse" "+"))
The bear visits the dog.
True
1
proof
[(triple4)]
("bear" "visits" "dog" "+")
triple4
The bear is not young.
False
1
inv-proof
[(triple2)]
("bear" "is" "young" "-")
triple2
The bear does not chase the dog.
Unknown
inv-rconc
[@1: The bear chases the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "chases" "dog" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
@0: The bear is round.[(triple1)] The bear is young.[(triple2)] The bear sees the dog.[(triple3)] The bear visits the dog.[(triple4)] The dog is green.[(triple5)] The mouse chases the dog.[(triple6)] The mouse sees the dog.[(triple7)]
The bear is round.
("bear" "is" "round" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The bear sees the dog.
("bear" "sees" "dog" "+")
triple3
The bear visits the dog.
("bear" "visits" "dog" "+")
triple4
The dog is green.
("dog" "is" "green" "+")
triple5
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple6
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple7