The bald eagle sees the cat. The cat sees the lion. The cow is cold. The lion is green. If someone visits the lion then they are kind. If someone is big then they like the bald eagle. If someone likes the cow and they visit the lion then the lion is nice. If someone is nice and they like the cow then the cow is nice. If someone likes the cat and they are green then they are nice. If someone is green then they see the bald eagle.
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat sees the lion.
("cat" "sees" "lion" "+")
The cow is cold.
("cow" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
If someone visits the lion then they are kind.
((("someone" "visits" "lion" "+")) -> ("someone" "is" "kind" "+"))
If someone is big then they like the bald eagle.
((("someone" "is" "big" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone likes the cow and they visit the lion then the lion is nice.
((("someone" "likes" "cow" "+") ("someone" "visits" "lion" "+")) -> ("lion" "is" "nice" "+"))
If someone is nice and they like the cow then the cow is nice.
((("someone" "is" "nice" "+") ("someone" "likes" "cow" "+")) -> ("cow" "is" "nice" "+"))
If someone likes the cat and they are green then they are nice.
((("someone" "likes" "cat" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is green then they see the bald eagle.
((("someone" "is" "green" "+")) -> ("someone" "sees" "bald eagle" "+"))
The cat sees the lion.
True
1
proof
[(triple2)]
("cat" "sees" "lion" "+")
triple2
The bald eagle does not see the cat.
False
1
inv-proof
[(triple1)]
("bald eagle" "sees" "cat" "-")
triple1
The lion sees the bald eagle.
True
2
proof
[(((triple4) -> rule6))]
("lion" "sees" "bald eagle" "+")
((triple4) -> (rule6 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1
The lion does not see the bald eagle.
False
2
inv-proof
[(((triple4) -> rule6))]
("lion" "sees" "bald eagle" "-")
((triple4) -> (rule6 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1
The lion is not kind.
Unknown
inv-rconc
[@1: The lion is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "kind" "-")
The cow is kind.
Unknown
rconc
[@1: The cow is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "kind" "+")
The bald eagle does not like the lion.
Unknown
inv-random
[@0: The bald eagle likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "lion" "-")
The bald eagle likes the cow.
Unknown
random
[@0: The bald eagle likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "cow" "+")
@0: The bald eagle sees the cat.[(triple1)] The cat sees the lion.[(triple2)] The cow is cold.[(triple3)] The lion is green.[(triple4)] @1: The lion sees the bald eagle.[(((triple4) -> rule6))]
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple1
The cat sees the lion.
("cat" "sees" "lion" "+")
triple2
The cow is cold.
("cow" "is" "cold" "+")
triple3
The lion is green.
("lion" "is" "green" "+")
triple4
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
((triple4) -> (rule6 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1