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