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