The bald eagle eats the lion. The bald eagle is cold. The bald eagle is green. The bald eagle is kind. The bald eagle likes the lion. The bald eagle sees the lion. The lion eats the squirrel. The lion is green. The lion is kind. The lion is rough. The lion sees the bald eagle. The lion sees the squirrel. The squirrel likes the lion. The squirrel sees the bald eagle. The squirrel sees the lion. If someone likes the squirrel then they see the bald eagle. If someone sees the bald eagle then they like the lion. If someone sees the lion then they like the lion.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
If someone likes the squirrel then they see the bald eagle.
((("someone" "likes" "squirrel" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone sees the bald eagle then they like the lion.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "likes" "lion" "+"))
If someone sees the lion then they like the lion.
((("someone" "sees" "lion" "+")) -> ("someone" "likes" "lion" "+"))
The lion is green.
True
1
proof
[(triple8)]
("lion" "is" "green" "+")
triple8
The bald eagle does not like the lion.
False
1
inv-proof
[(triple5 OR ((triple6) -> rule3))]
("bald eagle" "likes" "lion" "-")
triple5
((triple6) -> (rule3 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The lion likes the lion.
True
2
proof
[(((triple11) -> rule2))]
("lion" "likes" "lion" "+")
((triple11) -> (rule2 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion does not like the lion.
False
2
inv-proof
[(((triple11) -> rule2))]
("lion" "likes" "lion" "-")
((triple11) -> (rule2 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The squirrel eats the bald eagle.
Unknown
random
[@0: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bald eagle" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle likes the lion.[(triple5 OR ((triple6) -> rule3))] The bald eagle sees the lion.[(triple6)] The lion eats the squirrel.[(triple7)] The lion is green.[(triple8)] The lion is kind.[(triple9)] The lion is rough.[(triple10)] The lion sees the bald eagle.[(triple11)] The lion sees the squirrel.[(triple12)] The squirrel likes the lion.[(triple13 OR ((triple14) -> rule2) OR ((triple15) -> rule3))] The squirrel sees the bald eagle.[(triple14)] The squirrel sees the lion.[(triple15)] @1: The lion likes the lion.[(((triple11) -> rule2))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple4
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple5
((triple6) -> (rule3 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple6
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple7
The lion is green.
("lion" "is" "green" "+")
triple8
The lion is kind.
("lion" "is" "kind" "+")
triple9
The lion is rough.
("lion" "is" "rough" "+")
triple10
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple11
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple12
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple13
((triple14) -> (rule2 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
((triple15) -> (rule3 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple14
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
triple15
The lion likes the lion.
("lion" "likes" "lion" "+")
((triple11) -> (rule2 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1