The bear chases the mouse. The mouse chases the bear. The mouse likes the bear. If someone is red and they see the mouse then they chase the bear. If someone chases the mouse then they like the bear. If someone likes the mouse then they chase the bear. If someone sees the mouse then they are nice. Young people are nice. If someone chases the bear and they are red then they are big.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
If someone is red and they see the mouse then they chase the bear.
((("someone" "is" "red" "+") ("someone" "sees" "mouse" "+")) -> ("someone" "chases" "bear" "+"))
If someone chases the mouse then they like the bear.
((("someone" "chases" "mouse" "+")) -> ("someone" "likes" "bear" "+"))
If someone likes the mouse then they chase the bear.
((("someone" "likes" "mouse" "+")) -> ("someone" "chases" "bear" "+"))
If someone sees the mouse then they are nice.
((("someone" "sees" "mouse" "+")) -> ("someone" "is" "nice" "+"))
Young people are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone chases the bear and they are red then they are big.
((("someone" "chases" "bear" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
The mouse chases the bear.
True
1
proof
[(triple2)]
("mouse" "chases" "bear" "+")
triple2
The mouse does not chase the bear.
False
1
inv-proof
[(triple2)]
("mouse" "chases" "bear" "-")
triple2
The bear likes the bear.
True
2
proof
[(((triple1) -> rule2))]
("bear" "likes" "bear" "+")
((triple1) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear does not like the bear.
False
2
inv-proof
[(((triple1) -> rule2))]
("bear" "likes" "bear" "-")
((triple1) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The mouse is not big.
Unknown
inv-rconc
[@1: The mouse is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "is" "big" "-")
The bear is big.
Unknown
rconc
[@1: The bear is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "big" "+")
The mouse is not kind.
Unknown
inv-random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "-")
The mouse sees the bear.
Unknown
random
[@0: The mouse sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bear" "+")
@0: The bear chases the mouse.[(triple1)] The mouse chases the bear.[(triple2)] The mouse likes the bear.[(triple3)] @1: The bear likes the bear.[(((triple1) -> rule2))]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple2
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple3
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple1) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1