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