The bear is blue. The bear is round. The bear is young. The bear visits the dog. The cow sees the dog. The cow visits the mouse. The dog is rough. The mouse is blue. The mouse likes the dog. The mouse sees the dog. If the dog is round then the dog is young. If something visits the mouse then the mouse visits the bear.
The bear is blue.
("bear" "is" "blue" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The dog is rough.
("dog" "is" "rough" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
If the dog is round then the dog is young.
((("dog" "is" "round" "+")) -> ("dog" "is" "young" "+"))
If something visits the mouse then the mouse visits the bear.
((("something" "visits" "mouse" "+")) -> ("mouse" "visits" "bear" "+"))
The cow visits the mouse.
True
1
proof
[(triple6)]
("cow" "visits" "mouse" "+")
triple6
The mouse does not see the dog.
False
1
inv-proof
[(triple10)]
("mouse" "sees" "dog" "-")
triple10
The dog is not young.
Unknown
inv-rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "young" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The bear is blue.[(triple1)] The bear is round.[(triple2)] The bear is young.[(triple3)] The bear visits the dog.[(triple4)] The cow sees the dog.[(triple5)] The cow visits the mouse.[(triple6)] The dog is rough.[(triple7)] The mouse is blue.[(triple8)] The mouse likes the dog.[(triple9)] The mouse sees the dog.[(triple10)] @1: The mouse visits the bear.[(((triple6) -> rule2))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The bear visits the dog.
("bear" "visits" "dog" "+")
triple4
The cow sees the dog.
("cow" "sees" "dog" "+")
triple5
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple6
The dog is rough.
("dog" "is" "rough" "+")
triple7
The mouse is blue.
("mouse" "is" "blue" "+")
triple8
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple9
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple10
The mouse visits the bear.
("mouse" "visits" "bear" "+")
((triple6) -> (rule2 % int1))
The mouse visits the bear.
("mouse" "visits" "bear" "+")
int1