The bear is big. The bear is green. The bear is young. The bear likes the mouse. The bear likes the tiger. The dog is green. The dog likes the tiger. The dog needs the mouse. The mouse sees the tiger. The tiger is nice. The tiger likes the mouse. The tiger needs the mouse. If someone needs the mouse then they see the dog. Big people are green. If someone sees the dog and the dog is young then they are nice. If someone sees the bear and they are green then they need the bear. If the tiger likes the bear then the tiger sees the bear. If someone is big and they like the mouse then the mouse is nice. If someone needs the mouse and the mouse likes the dog then the mouse needs the dog. If someone sees the dog then they see the bear.
The bear is big.
("bear" "is" "big" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The dog is green.
("dog" "is" "green" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
If someone needs the mouse then they see the dog.
((("someone" "needs" "mouse" "+")) -> ("someone" "sees" "dog" "+"))
Big people are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone sees the dog and the dog is young then they are nice.
((("someone" "sees" "dog" "+") ("dog" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone sees the bear and they are green then they need the bear.
((("someone" "sees" "bear" "+") ("someone" "is" "green" "+")) -> ("someone" "needs" "bear" "+"))
If the tiger likes the bear then the tiger sees the bear.
((("tiger" "likes" "bear" "+")) -> ("tiger" "sees" "bear" "+"))
If someone is big and they like the mouse then the mouse is nice.
((("someone" "is" "big" "+") ("someone" "likes" "mouse" "+")) -> ("mouse" "is" "nice" "+"))
If someone needs the mouse and the mouse likes the dog then the mouse needs the dog.
((("someone" "needs" "mouse" "+") ("mouse" "likes" "dog" "+")) -> ("mouse" "needs" "dog" "+"))
If someone sees the dog then they see the bear.
((("someone" "sees" "dog" "+")) -> ("someone" "sees" "bear" "+"))
The bear likes the mouse.
True
1
proof
[(triple4)]
("bear" "likes" "mouse" "+")
triple4
The bear is not green.
False
1
inv-proof
[(triple2 OR ((triple1) -> rule2))]
("bear" "is" "green" "-")
triple2
((triple1) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The dog sees the dog.
True
2
proof
[(((triple8) -> rule1))]
("dog" "sees" "dog" "+")
((triple8) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The tiger does not see the dog.
False
2
inv-proof
[(((triple12) -> rule1))]
("tiger" "sees" "dog" "-")
((triple12) -> (rule1 % int1))
The tiger sees the dog.
("tiger" "sees" "dog" "+")
int1
The mouse does not need the dog.
Unknown
inv-rconc
[@1: The mouse needs the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "needs" "dog" "-")
The bear is nice.
Unknown
rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "nice" "+")
The mouse does not like the dog.
Unknown
inv-random
[@0: The mouse likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "dog" "-")
The dog likes the bear.
Unknown
random
[@0: The dog likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bear" "+")
@0: The bear is big.[(triple1)] The bear is green.[(triple2 OR ((triple1) -> rule2))] The bear is young.[(triple3)] The bear likes the mouse.[(triple4)] The bear likes the tiger.[(triple5)] The dog is green.[(triple6)] The dog likes the tiger.[(triple7)] The dog needs the mouse.[(triple8)] The mouse sees the tiger.[(triple9)] The tiger is nice.[(triple10)] The tiger likes the mouse.[(triple11)] The tiger needs the mouse.[(triple12)] @1: The dog sees the dog.[(((triple8) -> rule1))] The mouse is nice.[(((triple1 triple4) -> rule6))] The tiger sees the dog.[(((triple12) -> rule1))] @2: The dog sees the bear.[(((((triple8) -> rule1)) -> rule8))] The tiger sees the bear.[(((((triple12) -> rule1)) -> rule8))] @3: The dog needs the bear.[(((((((triple8) -> rule1)) -> rule8) triple6) -> rule4))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
((triple1) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is young.
("bear" "is" "young" "+")
triple3
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple4
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple5
The dog is green.
("dog" "is" "green" "+")
triple6
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple7
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple8
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple9
The tiger is nice.
("tiger" "is" "nice" "+")
triple10
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple11
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple12
The dog sees the dog.
("dog" "sees" "dog" "+")
((triple8) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
((triple1 triple4) -> (rule6 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The tiger sees the dog.
("tiger" "sees" "dog" "+")
((triple12) -> (rule1 % int1))
The tiger sees the dog.
("tiger" "sees" "dog" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
((((triple8) -> (rule1 % int2))) -> (rule8 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
int2
The tiger sees the bear.
("tiger" "sees" "bear" "+")
((((triple12) -> (rule1 % int2))) -> (rule8 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
The tiger sees the dog.
("tiger" "sees" "dog" "+")
int2
The dog needs the bear.
("dog" "needs" "bear" "+")
((((((triple8) -> (rule1 % int3))) -> (rule8 % int2)) triple6) -> (rule4 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
int2
The dog sees the dog.
("dog" "sees" "dog" "+")
int3