The bear eats the dog. The dog is big. The mouse is young. If someone is young and they see the bear then the bear sees the dog. If someone eats the dog then they are young.
The bear eats the dog.
("bear" "eats" "dog" "+")
The dog is big.
("dog" "is" "big" "+")
The mouse is young.
("mouse" "is" "young" "+")
If someone is young and they see the bear then the bear sees the dog.
((("someone" "is" "young" "+") ("someone" "sees" "bear" "+")) -> ("bear" "sees" "dog" "+"))
If someone eats the dog then they are young.
((("someone" "eats" "dog" "+")) -> ("someone" "is" "young" "+"))
The bear eats the dog.
True
1
proof
[(triple1)]
("bear" "eats" "dog" "+")
triple1
The mouse is not young.
False
1
inv-proof
[(triple3)]
("mouse" "is" "young" "-")
triple3
The bear is young.
True
2
proof
[(((triple1) -> rule2))]
("bear" "is" "young" "+")
((triple1) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is not young.
False
2
inv-proof
[(((triple1) -> rule2))]
("bear" "is" "young" "-")
((triple1) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear does not see the dog.
Unknown
inv-rconc
[@1: The bear sees the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "sees" "dog" "-")
The dog is young.
Unknown
rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "young" "+")
The dog does not need the mouse.
Unknown
inv-random
[@0: The dog needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "mouse" "-")
The bear sees the mouse.
Unknown
random
[@0: The bear sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "mouse" "+")
@0: The bear eats the dog.[(triple1)] The dog is big.[(triple2)] The mouse is young.[(triple3)] @1: The bear is young.[(((triple1) -> rule2))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The dog is big.
("dog" "is" "big" "+")
triple2
The mouse is young.
("mouse" "is" "young" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
((triple1) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1