The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle is big. The bald eagle is kind. The bald eagle is round. The bald eagle is young. The bald eagle visits the lion. The bald eagle visits the squirrel. The lion eats the bald eagle. The lion eats the squirrel. The lion visits the squirrel. The squirrel chases the lion. The squirrel eats the bald eagle. The squirrel eats the lion. The squirrel is kind. The squirrel visits the bald eagle. If someone visits the lion and they eat the bald eagle then the lion chases the squirrel. If the lion is young then the lion is round. If someone visits the lion and they chase the lion then the lion eats the bald eagle.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If someone visits the lion and they eat the bald eagle then the lion chases the squirrel.
((("someone" "visits" "lion" "+") ("someone" "eats" "bald eagle" "+")) -> ("lion" "chases" "squirrel" "+"))
If the lion is young then the lion is round.
((("lion" "is" "young" "+")) -> ("lion" "is" "round" "+"))
If someone visits the lion and they chase the lion then the lion eats the bald eagle.
((("someone" "visits" "lion" "+") ("someone" "chases" "lion" "+")) -> ("lion" "eats" "bald eagle" "+"))
The lion eats the squirrel.
True
1
proof
[(triple10)]
("lion" "eats" "squirrel" "+")
triple10
The bald eagle is not round.
False
1
inv-proof
[(triple5)]
("bald eagle" "is" "round" "-")
triple5
The lion is not round.
Unknown
inv-rconc
[@1: The lion is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "round" "-")
The squirrel is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle visits the lion.[(triple7)] The bald eagle visits the squirrel.[(triple8)] The lion eats the bald eagle.[(triple9 OR ((triple7 triple1) -> rule3))] The lion eats the squirrel.[(triple10)] The lion visits the squirrel.[(triple11)] The squirrel chases the lion.[(triple12)] The squirrel eats the bald eagle.[(triple13)] The squirrel eats the lion.[(triple14)] The squirrel is kind.[(triple15)] The squirrel visits the bald eagle.[(triple16)]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple4
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple5
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple6
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple7
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple8
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple9
((triple7 triple1) -> (rule3 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple10
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple11
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple12
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple13
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple14
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple15
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple16