The bald eagle is green. The bald eagle sees the mouse. The lion likes the bald eagle. The lion sees the bald eagle. The mouse chases the lion. The mouse is blue. The mouse likes the bald eagle. If someone likes the bald eagle then they are nice. If the bald eagle sees the lion then the bald eagle chases the lion. If someone is blue then they like the mouse. If someone likes the mouse and the mouse chases the lion then the lion sees the bald eagle. If someone likes the bald eagle and they are green then the bald eagle is blue. If someone chases the mouse then the mouse chases the bald eagle. If someone is nice then they see the mouse. If someone is green and big then they see the mouse.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
If someone likes the bald eagle then they are nice.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "is" "nice" "+"))
If the bald eagle sees the lion then the bald eagle chases the lion.
((("bald eagle" "sees" "lion" "+")) -> ("bald eagle" "chases" "lion" "+"))
If someone is blue then they like the mouse.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "mouse" "+"))
If someone likes the mouse and the mouse chases the lion then the lion sees the bald eagle.
((("someone" "likes" "mouse" "+") ("mouse" "chases" "lion" "+")) -> ("lion" "sees" "bald eagle" "+"))
If someone likes the bald eagle and they are green then the bald eagle is blue.
((("someone" "likes" "bald eagle" "+") ("someone" "is" "green" "+")) -> ("bald eagle" "is" "blue" "+"))
If someone chases the mouse then the mouse chases the bald eagle.
((("someone" "chases" "mouse" "+")) -> ("mouse" "chases" "bald eagle" "+"))
If someone is nice then they see the mouse.
((("someone" "is" "nice" "+")) -> ("someone" "sees" "mouse" "+"))
If someone is green and big then they see the mouse.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "sees" "mouse" "+"))
The lion sees the bald eagle.
True
1
proof
[(triple4 OR ((((triple6) -> rule3) triple5) -> rule4))]
("lion" "sees" "bald eagle" "+")
triple4
((((triple6) -> (rule3 % int2)) triple5) -> (rule4 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The mouse does not like the bald eagle.
False
1
inv-proof
[(triple7)]
("mouse" "likes" "bald eagle" "-")
triple7
The lion is nice.
True
2
proof
[(((triple3) -> rule1))]
("lion" "is" "nice" "+")
((triple3) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The mouse does not like the mouse.
False
2
inv-proof
[(((triple6) -> rule3))]
("mouse" "likes" "mouse" "-")
((triple6) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The lion sees the mouse.
True
3
proof
[(((((triple3) -> rule1)) -> rule7))]
("lion" "sees" "mouse" "+")
((((triple3) -> (rule1 % int2))) -> (rule7 % int1))
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The mouse does not see the mouse.
False
3
inv-proof
[(((((triple7) -> rule1)) -> rule7))]
("mouse" "sees" "mouse" "-")
((((triple7) -> (rule1 % int2))) -> (rule7 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2
The bald eagle is not nice.
Unknown
inv-rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "nice" "-")
The bald eagle is blue.
Unknown
rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "blue" "+")
The bald eagle does not chase the lion.
Unknown
inv-rconc
[@1: The bald eagle chases the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "lion" "-")
The mouse sees the lion.
Unknown
random
[@0: The mouse sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "lion" "+")
The bald eagle does not like the lion.
Unknown
inv-random
[@0: The bald eagle likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "lion" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle sees the mouse.[(triple2)] The lion likes the bald eagle.[(triple3)] The lion sees the bald eagle.[(triple4 OR ((((triple6) -> rule3) triple5) -> rule4))] The mouse chases the lion.[(triple5)] The mouse is blue.[(triple6)] The mouse likes the bald eagle.[(triple7)] @1: The lion is nice.[(((triple3) -> rule1))] The mouse is nice.[(((triple7) -> rule1))] The mouse likes the mouse.[(((triple6) -> rule3))] @2: The lion sees the mouse.[(((((triple3) -> rule1)) -> rule7))] The mouse sees the mouse.[(((((triple7) -> rule1)) -> rule7))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple2
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple3
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple4
((((triple6) -> (rule3 % int2)) triple5) -> (rule4 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple5
The mouse is blue.
("mouse" "is" "blue" "+")
triple6
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple7
The lion is nice.
("lion" "is" "nice" "+")
((triple3) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
((triple7) -> (rule1 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((triple6) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The lion sees the mouse.
("lion" "sees" "mouse" "+")
((((triple3) -> (rule1 % int2))) -> (rule7 % int1))
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((((triple7) -> (rule1 % int2))) -> (rule7 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2