The bald eagle likes the cow. The bald eagle likes the lion. The cow is big. The cow is kind. The cow is nice. The cow is not young. The cow likes the bald eagle. The cow sees the bald eagle. The lion does not eat the bald eagle. The lion eats the cow. If the bald eagle eats the lion then the lion is nice. If something sees the cow and it sees the bald eagle then the bald eagle does not eat the lion. If the bald eagle is big and the cow does not see the bald eagle then the bald eagle eats the lion. If the cow is kind and the cow likes the lion then the cow does not like the bald eagle. If the bald eagle likes the cow then the bald eagle does not see the lion. If something likes the lion and the lion does not eat the cow then the lion is not big.
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is not young.
("cow" "is" "young" "-")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
The lion eats the cow.
("lion" "eats" "cow" "+")
If the bald eagle eats the lion then the lion is nice.
((("bald eagle" "eats" "lion" "+")) -> ("lion" "is" "nice" "+"))
If something sees the cow and it sees the bald eagle then the bald eagle does not eat the lion.
((("something" "sees" "cow" "+") ("something" "sees" "bald eagle" "+")) -> ("bald eagle" "eats" "lion" "-"))
If the bald eagle is big and the cow does not see the bald eagle then the bald eagle eats the lion.
((("bald eagle" "is" "big" "+") ("cow" "sees" "bald eagle" "~")) -> ("bald eagle" "eats" "lion" "+"))
If the cow is kind and the cow likes the lion then the cow does not like the bald eagle.
((("cow" "is" "kind" "+") ("cow" "likes" "lion" "+")) -> ("cow" "likes" "bald eagle" "-"))
If the bald eagle likes the cow then the bald eagle does not see the lion.
((("bald eagle" "likes" "cow" "+")) -> ("bald eagle" "sees" "lion" "-"))
If something likes the lion and the lion does not eat the cow then the lion is not big.
((("something" "likes" "lion" "+") ("lion" "eats" "cow" "~")) -> ("lion" "is" "big" "-"))
The cow is kind.
True
1
proof
[(triple4)]
("cow" "is" "kind" "+")
triple4
The bald eagle does not like the lion.
False
1
inv-proof
[(triple2)]
("bald eagle" "likes" "lion" "-")
triple2
The bald eagle does not see the lion.
True
2
proof
[(((triple1) -> rule5))]
("bald eagle" "sees" "lion" "-")
((triple1) -> (rule5 % int1))
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
int1
The bald eagle sees the lion.
False
2
inv-proof
[(((triple1) -> rule5))]
("bald eagle" "sees" "lion" "+")
((triple1) -> (rule5 % int1))
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
int1
The bald eagle does not eat the lion.
Unknown
inv-rconc
[@1: The bald eagle eats the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "eats" "lion" "-")
The lion is nice.
Unknown
rconc
[@2: The lion is nice.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("lion" "is" "nice" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The lion is kind.
Unknown
random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "+")
@0: The bald eagle likes the cow.[(triple1)] The bald eagle likes the lion.[(triple2)] The cow is big.[(triple3)] The cow is kind.[(triple4)] The cow is nice.[(triple5)] The cow is not young.[(triple6)] The cow likes the bald eagle.[(triple7)] The cow sees the bald eagle.[(triple8)] The lion does not eat the bald eagle.[(triple9)] The lion eats the cow.[(triple10)] @1: The bald eagle does not see the lion.[(((triple1) -> rule5))]
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple2
The cow is big.
("cow" "is" "big" "+")
triple3
The cow is kind.
("cow" "is" "kind" "+")
triple4
The cow is nice.
("cow" "is" "nice" "+")
triple5
The cow is not young.
("cow" "is" "young" "-")
triple6
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple7
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple8
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
triple9
The lion eats the cow.
("lion" "eats" "cow" "+")
triple10
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
((triple1) -> (rule5 % int1))
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
int1