The bald eagle is blue. The bald eagle is kind. The bald eagle is not round. The bald eagle likes the cow. The bald eagle sees the lion. The bald eagle visits the lion. The cow sees the bald eagle. The cow sees the lion. The lion is blue. The lion is kind. The lion does not visit the bald eagle. The lion visits the cow. If the cow is round and the cow is kind then the cow visits the lion. If something sees the bald eagle then the bald eagle likes the lion. If something likes the lion and it is not round then it is not nice. If something is nice then it sees the bald eagle. If something is kind and it visits the bald eagle then the bald eagle is green. If something likes the bald eagle and it does not visit the bald eagle then it visits the cow.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion does not visit the bald eagle.
("lion" "visits" "bald eagle" "-")
The lion visits the cow.
("lion" "visits" "cow" "+")
If the cow is round and the cow is kind then the cow visits the lion.
((("cow" "is" "round" "+") ("cow" "is" "kind" "+")) -> ("cow" "visits" "lion" "+"))
If something sees the bald eagle then the bald eagle likes the lion.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "likes" "lion" "+"))
If something likes the lion and it is not round then it is not nice.
((("something" "likes" "lion" "+") ("something" "is" "round" "~")) -> ("something" "is" "nice" "-"))
If something is nice then it sees the bald eagle.
((("something" "is" "nice" "+")) -> ("something" "sees" "bald eagle" "+"))
If something is kind and it visits the bald eagle then the bald eagle is green.
((("something" "is" "kind" "+") ("something" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
If something likes the bald eagle and it does not visit the bald eagle then it visits the cow.
((("something" "likes" "bald eagle" "+") ("something" "visits" "bald eagle" "~")) -> ("something" "visits" "cow" "+"))
The lion does not visit the bald eagle.
True
1
proof
[(triple11)]
("lion" "visits" "bald eagle" "-")
triple11
The bald eagle does not see the lion.
False
1
inv-proof
[(triple5)]
("bald eagle" "sees" "lion" "-")
triple5
The bald eagle likes the lion.
True
2
proof
[(((triple7) -> rule2))]
("bald eagle" "likes" "lion" "+")
((triple7) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle does not like the lion.
False
2
inv-proof
[(((triple7) -> rule2))]
("bald eagle" "likes" "lion" "-")
((triple7) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle does not visit the cow.
Unknown
inv-rconc
[@1: The bald eagle visits the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "visits" "cow" "-")
The cow visits the cow.
Unknown
rconc
[@1: The cow visits the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "visits" "cow" "+")
The lion is not round.
Unknown
inv-random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is not round.[(triple3)] The bald eagle likes the cow.[(triple4)] The bald eagle sees the lion.[(triple5)] The bald eagle visits the lion.[(triple6)] The cow sees the bald eagle.[(triple7)] The cow sees the lion.[(triple8)] The lion does not visit the bald eagle.[(triple11)] The lion is blue.[(triple9)] The lion is kind.[(triple10)] The lion visits the cow.[(triple12)] @1: The bald eagle likes the lion.[(((triple7) -> rule2))] @2: The bald eagle is not nice.[(((((triple7) -> rule2) triple3) -> rule3))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple3
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple4
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple5
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple6
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple7
The cow sees the lion.
("cow" "sees" "lion" "+")
triple8
The lion does not visit the bald eagle.
("lion" "visits" "bald eagle" "-")
triple11
The lion is blue.
("lion" "is" "blue" "+")
triple9
The lion is kind.
("lion" "is" "kind" "+")
triple10
The lion visits the cow.
("lion" "visits" "cow" "+")
triple12
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
((triple7) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
((((triple7) -> (rule2 % int2)) triple3) -> (rule3 % int1))
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
int1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int2