The bald eagle chases the lion. The bald eagle is green. The bald eagle is not round. The lion chases the mouse. The mouse does not chase the lion. The mouse chases the tiger. The tiger eats the lion. If something is green then it does not chase the mouse. If the mouse does not see the lion then the mouse does not see the bald eagle. If something chases the bald eagle then the bald eagle chases the tiger. If the bald eagle eats the lion then the bald eagle eats the mouse. If something eats the mouse and the mouse is round then the mouse does not eat the lion. If something is green and it sees the tiger then the tiger does not see the bald eagle. If something chases the mouse and it is not cold then it eats the bald eagle. If something is round and it eats the mouse then the mouse does not chase the bald eagle.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The mouse does not chase the lion.
("mouse" "chases" "lion" "-")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
If something is green then it does not chase the mouse.
((("something" "is" "green" "+")) -> ("something" "chases" "mouse" "-"))
If the mouse does not see the lion then the mouse does not see the bald eagle.
((("mouse" "sees" "lion" "~")) -> ("mouse" "sees" "bald eagle" "-"))
If something chases the bald eagle then the bald eagle chases the tiger.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "tiger" "+"))
If the bald eagle eats the lion then the bald eagle eats the mouse.
((("bald eagle" "eats" "lion" "+")) -> ("bald eagle" "eats" "mouse" "+"))
If something eats the mouse and the mouse is round then the mouse does not eat the lion.
((("something" "eats" "mouse" "+") ("mouse" "is" "round" "+")) -> ("mouse" "eats" "lion" "-"))
If something is green and it sees the tiger then the tiger does not see the bald eagle.
((("something" "is" "green" "+") ("something" "sees" "tiger" "+")) -> ("tiger" "sees" "bald eagle" "-"))
If something chases the mouse and it is not cold then it eats the bald eagle.
((("something" "chases" "mouse" "+") ("something" "is" "cold" "~")) -> ("something" "eats" "bald eagle" "+"))
If something is round and it eats the mouse then the mouse does not chase the bald eagle.
((("something" "is" "round" "+") ("something" "eats" "mouse" "+")) -> ("mouse" "chases" "bald eagle" "-"))
The bald eagle is not round.
True
1
proof
[(triple3)]
("bald eagle" "is" "round" "-")
triple3
The tiger does not eat the lion.
False
1
inv-proof
[(triple7)]
("tiger" "eats" "lion" "-")
triple7
The mouse does not eat the bald eagle.
Unknown
inv-rconc
[@1: The mouse eats the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "eats" "bald eagle" "-")
The bald eagle eats the tiger.
Unknown
random
[@0: The bald eagle eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "tiger" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is not round.[(triple3)] The lion chases the mouse.[(triple4)] The mouse chases the tiger.[(triple6)] The mouse does not chase the lion.[(triple5)] The tiger eats the lion.[(triple7)] @1: The bald eagle does not chase the mouse.[(((triple2) -> rule1))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple3
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple4
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple6
The mouse does not chase the lion.
("mouse" "chases" "lion" "-")
triple5
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple7
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
((triple2) -> (rule1 % int1))
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
int1