The bald eagle eats the lion. The bald eagle is rough. The bald eagle visits the lion. The bald eagle visits the squirrel. The lion chases the bald eagle. The lion chases the squirrel. The lion eats the bald eagle. The lion eats the squirrel. The lion is blue. The lion is rough. The lion visits the bald eagle. The squirrel chases the lion. The squirrel eats the lion. The squirrel is blue. The squirrel visits the bald eagle. The squirrel visits the lion. If the lion visits the squirrel then the lion is nice. If something is nice and it chases the lion then the lion is nice.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If the lion visits the squirrel then the lion is nice.
((("lion" "visits" "squirrel" "+")) -> ("lion" "is" "nice" "+"))
If something is nice and it chases the lion then the lion is nice.
((("something" "is" "nice" "+") ("something" "chases" "lion" "+")) -> ("lion" "is" "nice" "+"))
The bald eagle is rough.
True
1
proof
[(triple2)]
("bald eagle" "is" "rough" "+")
triple2
The squirrel does not visit the bald eagle.
False
1
inv-proof
[(triple15)]
("squirrel" "visits" "bald eagle" "-")
triple15
The lion is not nice.
Unknown
inv-rconc
[@1: The lion is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "nice" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle visits the lion.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The lion chases the bald eagle.[(triple5)] The lion chases the squirrel.[(triple6)] The lion eats the bald eagle.[(triple7)] The lion eats the squirrel.[(triple8)] The lion is blue.[(triple9)] The lion is rough.[(triple10)] The lion visits the bald eagle.[(triple11)] The squirrel chases the lion.[(triple12)] The squirrel eats the lion.[(triple13)] The squirrel is blue.[(triple14)] The squirrel visits the bald eagle.[(triple15)] The squirrel visits the lion.[(triple16)]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple3
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple4
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple5
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple6
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple7
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple8
The lion is blue.
("lion" "is" "blue" "+")
triple9
The lion is rough.
("lion" "is" "rough" "+")
triple10
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple11
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple12
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple13
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple14
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple15
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple16