The bald eagle is rough. The cow likes the bald eagle. The rabbit is blue. If something likes the bald eagle then the bald eagle eats the cow. If something sees the rabbit and it is red then the rabbit sees the cow. If something likes the rabbit then it eats the bald eagle. If something eats the bald eagle then it is blue. If something sees the bald eagle and the bald eagle sees the cow then the cow eats the rabbit. If something eats the cow and it is not kind then the cow sees the rabbit.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
If something likes the bald eagle then the bald eagle eats the cow.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "eats" "cow" "+"))
If something sees the rabbit and it is red then the rabbit sees the cow.
((("something" "sees" "rabbit" "+") ("something" "is" "red" "+")) -> ("rabbit" "sees" "cow" "+"))
If something likes the rabbit then it eats the bald eagle.
((("something" "likes" "rabbit" "+")) -> ("something" "eats" "bald eagle" "+"))
If something eats the bald eagle then it is blue.
((("something" "eats" "bald eagle" "+")) -> ("something" "is" "blue" "+"))
If something sees the bald eagle and the bald eagle sees the cow then the cow eats the rabbit.
((("something" "sees" "bald eagle" "+") ("bald eagle" "sees" "cow" "+")) -> ("cow" "eats" "rabbit" "+"))
If something eats the cow and it is not kind then the cow sees the rabbit.
((("something" "eats" "cow" "+") ("something" "is" "kind" "~")) -> ("cow" "sees" "rabbit" "+"))
The bald eagle is rough.
True
1
proof
[(triple1)]
("bald eagle" "is" "rough" "+")
triple1
The cow does not like the bald eagle.
False
1
inv-proof
[(triple2)]
("cow" "likes" "bald eagle" "-")
triple2
The bald eagle eats the cow.
True
2
proof
[(((triple2) -> rule1))]
("bald eagle" "eats" "cow" "+")
((triple2) -> (rule1 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The bald eagle does not eat the cow.
False
2
inv-proof
[(((triple2) -> rule1))]
("bald eagle" "eats" "cow" "-")
((triple2) -> (rule1 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The rabbit does not see the cow.
Unknown
inv-rconc
[@1: The rabbit sees the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "sees" "cow" "-")
The cow is blue.
Unknown
rconc
[@2: The cow is blue.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("cow" "is" "blue" "+")
The cow is not kind.
Unknown
inv-random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "-")
The bald eagle sees the rabbit.
Unknown
random
[@0: The bald eagle sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "rabbit" "+")
@0: The bald eagle is rough.[(triple1)] The cow likes the bald eagle.[(triple2)] The rabbit is blue.[(triple3)] @1: The bald eagle eats the cow.[(((triple2) -> rule1))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple2
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple3
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
((triple2) -> (rule1 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1