The bald eagle needs the squirrel. The lion chases the squirrel. The lion needs the bald eagle. The squirrel is round. The squirrel needs the lion. The squirrel visits the bald eagle. The squirrel visits the lion. If someone chases the squirrel and the squirrel visits the bald eagle then the bald eagle needs the lion. If someone is rough and they chase the bald eagle then they chase the lion.
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If someone chases the squirrel and the squirrel visits the bald eagle then the bald eagle needs the lion.
((("someone" "chases" "squirrel" "+") ("squirrel" "visits" "bald eagle" "+")) -> ("bald eagle" "needs" "lion" "+"))
If someone is rough and they chase the bald eagle then they chase the lion.
((("someone" "is" "rough" "+") ("someone" "chases" "bald eagle" "+")) -> ("someone" "chases" "lion" "+"))
The bald eagle needs the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "needs" "squirrel" "+")
triple1
The squirrel does not need the lion.
False
1
inv-proof
[(triple5)]
("squirrel" "needs" "lion" "-")
triple5
The bald eagle needs the lion.
True
3
proof
[(((triple2 triple6) -> rule1))]
("bald eagle" "needs" "lion" "+")
((triple2 triple6) -> (rule1 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The bald eagle does not need the lion.
False
3
inv-proof
[(((triple2 triple6) -> rule1))]
("bald eagle" "needs" "lion" "-")
((triple2 triple6) -> (rule1 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The bald eagle does not chase the lion.
Unknown
inv-rconc
[@1: The bald eagle chases the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "lion" "-")
The lion chases the lion.
Unknown
rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "chases" "lion" "+")
The bald eagle does not visit the squirrel.
Unknown
inv-random
[@0: The bald eagle visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "squirrel" "-")
The bald eagle visits the lion.
Unknown
random
[@0: The bald eagle visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "lion" "+")
@0: The bald eagle needs the squirrel.[(triple1)] The lion chases the squirrel.[(triple2)] The lion needs the bald eagle.[(triple3)] The squirrel is round.[(triple4)] The squirrel needs the lion.[(triple5)] The squirrel visits the bald eagle.[(triple6)] The squirrel visits the lion.[(triple7)] @1: The bald eagle needs the lion.[(((triple2 triple6) -> rule1))]
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple3
The squirrel is round.
("squirrel" "is" "round" "+")
triple4
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple5
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple6
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple7
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
((triple2 triple6) -> (rule1 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1