The bald eagle is green. The bald eagle visits the lion. The bear eats the lion. The bear is green. The lion is green. The lion visits the bear. The mouse is red. If someone eats the bald eagle and they eat the bear then the bald eagle eats the bear. If someone eats the mouse and the mouse eats the bear then the mouse is round. If someone visits the bald eagle then the bald eagle is rough. If the bear eats the bald eagle and the bear sees the lion then the bear is rough. If the lion eats the mouse and the mouse eats the lion then the lion visits the bear. If someone is rough then they are blue.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is green.
("bear" "is" "green" "+")
The lion is green.
("lion" "is" "green" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The mouse is red.
("mouse" "is" "red" "+")
If someone eats the bald eagle and they eat the bear then the bald eagle eats the bear.
((("someone" "eats" "bald eagle" "+") ("someone" "eats" "bear" "+")) -> ("bald eagle" "eats" "bear" "+"))
If someone eats the mouse and the mouse eats the bear then the mouse is round.
((("someone" "eats" "mouse" "+") ("mouse" "eats" "bear" "+")) -> ("mouse" "is" "round" "+"))
If someone visits the bald eagle then the bald eagle is rough.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If the bear eats the bald eagle and the bear sees the lion then the bear is rough.
((("bear" "eats" "bald eagle" "+") ("bear" "sees" "lion" "+")) -> ("bear" "is" "rough" "+"))
If the lion eats the mouse and the mouse eats the lion then the lion visits the bear.
((("lion" "eats" "mouse" "+") ("mouse" "eats" "lion" "+")) -> ("lion" "visits" "bear" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
The mouse is red.
True
1
proof
[(triple7)]
("mouse" "is" "red" "+")
triple7
The bear is not green.
False
1
inv-proof
[(triple4)]
("bear" "is" "green" "-")
triple4
The mouse is not round.
Unknown
inv-rconc
[@1: The mouse is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "round" "-")
The mouse visits the bald eagle.
Unknown
random
[@0: The mouse visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "bald eagle" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle visits the lion.[(triple2)] The bear eats the lion.[(triple3)] The bear is green.[(triple4)] The lion is green.[(triple5)] The lion visits the bear.[(triple6)] The mouse is red.[(triple7)]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple2
The bear eats the lion.
("bear" "eats" "lion" "+")
triple3
The bear is green.
("bear" "is" "green" "+")
triple4
The lion is green.
("lion" "is" "green" "+")
triple5
The lion visits the bear.
("lion" "visits" "bear" "+")
triple6
The mouse is red.
("mouse" "is" "red" "+")
triple7