The bald eagle eats the squirrel. The bald eagle is cold. The bald eagle is green. The bald eagle likes the squirrel. 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 is nice. The lion is red. The lion likes the squirrel. The lion visits the bald eagle. The lion visits the squirrel. The squirrel is cold. The squirrel likes the bald eagle. If something is red then it is cold. All nice things are green.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
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 is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
If something is red then it is cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
All nice things are green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
The squirrel likes the bald eagle.
True
1
proof
[(triple15)]
("squirrel" "likes" "bald eagle" "+")
triple15
The bald eagle does not like the squirrel.
False
1
inv-proof
[(triple4)]
("bald eagle" "likes" "squirrel" "-")
triple4
The lion is cold.
True
2
proof
[(((triple10) -> rule1))]
("lion" "is" "cold" "+")
((triple10) -> (rule1 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is not green.
False
2
inv-proof
[(((triple9) -> rule2))]
("lion" "is" "green" "-")
((triple9) -> (rule2 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The squirrel is not green.
Unknown
inv-rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "green" "-")
The squirrel likes the lion.
Unknown
random
[@0: The squirrel likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "lion" "+")
The squirrel does not visit the lion.
Unknown
inv-random
[@0: The squirrel visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "lion" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle likes the squirrel.[(triple4)] The bald eagle visits the lion.[(triple5)] The bald eagle visits the squirrel.[(triple6)] The lion eats the bald eagle.[(triple7)] The lion eats the squirrel.[(triple8)] The lion is nice.[(triple9)] The lion is red.[(triple10)] The lion likes the squirrel.[(triple11)] The lion visits the bald eagle.[(triple12)] The lion visits the squirrel.[(triple13)] The squirrel is cold.[(triple14)] The squirrel likes the bald eagle.[(triple15)] @1: The lion is cold.[(((triple10) -> rule1))] The lion is green.[(((triple9) -> rule2))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple4
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple5
The bald eagle visits the squirrel.
("bald eagle" "visits" "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 nice.
("lion" "is" "nice" "+")
triple9
The lion is red.
("lion" "is" "red" "+")
triple10
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple11
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple12
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple13
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple14
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple15
The lion is cold.
("lion" "is" "cold" "+")
((triple10) -> (rule1 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is green.
("lion" "is" "green" "+")
((triple9) -> (rule2 % int1))
The lion is green.
("lion" "is" "green" "+")
int1