The bald eagle is not kind. The bald eagle is not nice. The bald eagle needs the lion. The bald eagle needs the mouse. The lion eats the bald eagle. The lion is cold. The lion needs the mouse. The mouse is round. The mouse does not need the lion. The mouse visits the bald eagle. If something eats the bald eagle and the bald eagle needs the lion then it visits the lion.
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse does not need the lion.
("mouse" "needs" "lion" "-")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If something eats the bald eagle and the bald eagle needs the lion then it visits the lion.
((("something" "eats" "bald eagle" "+") ("bald eagle" "needs" "lion" "+")) -> ("something" "visits" "lion" "+"))
The lion needs the mouse.
True
1
proof
[(triple7)]
("lion" "needs" "mouse" "+")
triple7
The bald eagle does not need the lion.
False
1
inv-proof
[(triple3)]
("bald eagle" "needs" "lion" "-")
triple3
The lion visits the lion.
True
3
proof
[(((triple5 triple3) -> rule1))]
("lion" "visits" "lion" "+")
((triple5 triple3) -> (rule1 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion does not visit the lion.
False
3
inv-proof
[(((triple5 triple3) -> rule1))]
("lion" "visits" "lion" "-")
((triple5 triple3) -> (rule1 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The bald eagle does not visit the lion.
Unknown
inv-rconc
[@1: The bald eagle visits the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "visits" "lion" "-")
The mouse visits the lion.
Unknown
rconc
[@1: The mouse visits the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "visits" "lion" "+")
The bald eagle does not visit the mouse.
Unknown
inv-random
[@0: The bald eagle visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "mouse" "-")
The lion needs the bald eagle.
Unknown
random
[@0: The lion needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "bald eagle" "+")
@0: The bald eagle is not kind.[(triple1)] The bald eagle is not nice.[(triple2)] The bald eagle needs the lion.[(triple3)] The bald eagle needs the mouse.[(triple4)] The lion eats the bald eagle.[(triple5)] The lion is cold.[(triple6)] The lion needs the mouse.[(triple7)] The mouse does not need the lion.[(triple9)] The mouse is round.[(triple8)] The mouse visits the bald eagle.[(triple10)] @1: The lion visits the lion.[(((triple5 triple3) -> rule1))]
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple1
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple2
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple3
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple4
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple5
The lion is cold.
("lion" "is" "cold" "+")
triple6
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple7
The mouse does not need the lion.
("mouse" "needs" "lion" "-")
triple9
The mouse is round.
("mouse" "is" "round" "+")
triple8
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple10
The lion visits the lion.
("lion" "visits" "lion" "+")
((triple5 triple3) -> (rule1 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1