The bald eagle is not kind. The bald eagle sees the cow. The cow is big. The cow is green. The cow is kind. The cow does not like the bald eagle. The rabbit eats the cow. The rabbit is blue. The rabbit is young. The rabbit likes the cow. If the cow is young then the cow sees the rabbit. If someone is young then they see the bald eagle. If someone eats the cow and they do not like the bald eagle then the bald eagle sees the rabbit. If someone sees the cow then they like the rabbit. If the cow sees the rabbit and the cow likes the bald eagle then the cow is kind. If someone eats the cow then they are young. If someone is kind and they eat the cow then they like the cow. If someone likes the rabbit then the rabbit sees the cow.
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
If the cow is young then the cow sees the rabbit.
((("cow" "is" "young" "+")) -> ("cow" "sees" "rabbit" "+"))
If someone is young then they see the bald eagle.
((("someone" "is" "young" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone eats the cow and they do not like the bald eagle then the bald eagle sees the rabbit.
((("someone" "eats" "cow" "+") ("someone" "likes" "bald eagle" "~")) -> ("bald eagle" "sees" "rabbit" "+"))
If someone sees the cow then they like the rabbit.
((("someone" "sees" "cow" "+")) -> ("someone" "likes" "rabbit" "+"))
If the cow sees the rabbit and the cow likes the bald eagle then the cow is kind.
((("cow" "sees" "rabbit" "+") ("cow" "likes" "bald eagle" "+")) -> ("cow" "is" "kind" "+"))
If someone eats the cow then they are young.
((("someone" "eats" "cow" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and they eat the cow then they like the cow.
((("someone" "is" "kind" "+") ("someone" "eats" "cow" "+")) -> ("someone" "likes" "cow" "+"))
If someone likes the rabbit then the rabbit sees the cow.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "sees" "cow" "+"))
The rabbit eats the cow.
True
1
proof
[(triple7)]
("rabbit" "eats" "cow" "+")
triple7
The cow is not green.
False
1
inv-proof
[(triple4)]
("cow" "is" "green" "-")
triple4
The rabbit sees the bald eagle.
True
2
proof
[(((triple9) -> rule2) OR ((((triple7) -> rule6)) -> rule2))]
("rabbit" "sees" "bald eagle" "+")
((triple9) -> (rule2 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The bald eagle does not like the rabbit.
False
2
inv-proof
[(((triple2) -> rule4))]
("bald eagle" "likes" "rabbit" "-")
((triple2) -> (rule4 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The rabbit sees the cow.
True
3
proof
[(((((triple2) -> rule4)) -> rule8))]
("rabbit" "sees" "cow" "+")
((((triple2) -> (rule4 % int2))) -> (rule8 % int1))
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The rabbit does not see the cow.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule8))]
("rabbit" "sees" "cow" "-")
((((triple2) -> (rule4 % int2))) -> (rule8 % int1))
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The rabbit likes the rabbit.
True
4
proof
[(((((((triple2) -> rule4)) -> rule8)) -> rule4))]
("rabbit" "likes" "rabbit" "+")
((((((triple2) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The rabbit does not like the rabbit.
False
4
inv-proof
[(((((((triple2) -> rule4)) -> rule8)) -> rule4))]
("rabbit" "likes" "rabbit" "-")
((((((triple2) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The cow is not young.
Unknown
inv-rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "is" "young" "-")
The bald eagle sees the bald eagle.
Unknown
rconc
[@2: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The bald eagle does not see the rabbit.
Unknown
inv-rconc
[@1: The bald eagle sees the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "sees" "rabbit" "-")
The cow sees the rabbit.
Unknown
rconc
[@2: The cow sees the rabbit.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("cow" "sees" "rabbit" "+")
The bald eagle is not green.
Unknown
inv-random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The bald eagle does not eat the cow.
Unknown
inv-random
[@0: The bald eagle eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cow" "-")
The rabbit is kind.
Unknown
random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "+")
@0: The bald eagle is not kind.[(triple1)] The bald eagle sees the cow.[(triple2)] The cow does not like the bald eagle.[(triple6)] The cow is big.[(triple3)] The cow is green.[(triple4)] The cow is kind.[(triple5)] The rabbit eats the cow.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is young.[(triple9 OR ((triple7) -> rule6))] The rabbit likes the cow.[(triple10)] @1: The bald eagle likes the rabbit.[(((triple2) -> rule4))] The rabbit sees the bald eagle.[(((triple9) -> rule2) OR ((((triple7) -> rule6)) -> rule2))] @2: The rabbit sees the cow.[(((((triple2) -> rule4)) -> rule8))] @3: The rabbit likes the rabbit.[(((((((triple2) -> rule4)) -> rule8)) -> rule4))]
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple2
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
triple6
The cow is big.
("cow" "is" "big" "+")
triple3
The cow is green.
("cow" "is" "green" "+")
triple4
The cow is kind.
("cow" "is" "kind" "+")
triple5
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple7
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple8
The rabbit is young.
("rabbit" "is" "young" "+")
triple9
((triple7) -> (rule6 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple10
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
((triple2) -> (rule4 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
((triple9) -> (rule2 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
((((triple2) -> (rule4 % int2))) -> (rule8 % int1))
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((((((triple2) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3