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