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