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