The bald eagle is blue. The bald eagle needs the rabbit. The cow is blue. The cow is young. The cow sees the bald eagle. The rabbit is blue. The rabbit is green. If the cow sees the rabbit and the rabbit sees the cow then the cow sees the bald eagle. If someone is nice and they see the rabbit then the rabbit sees the cow. If the cow likes the bald eagle then the cow needs the bald eagle. If someone needs the bald eagle and the bald eagle likes the cow then they are young. If someone is green and young then they like the rabbit. If someone likes the rabbit and the rabbit is blue then they are kind. If someone is blue and green then they like the bald eagle. If someone is young then they like the rabbit.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is young.
("cow" "is" "young" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
If the cow sees the rabbit and the rabbit sees the cow then the cow sees the bald eagle.
((("cow" "sees" "rabbit" "+") ("rabbit" "sees" "cow" "+")) -> ("cow" "sees" "bald eagle" "+"))
If someone is nice and they see the rabbit then the rabbit sees the cow.
((("someone" "is" "nice" "+") ("someone" "sees" "rabbit" "+")) -> ("rabbit" "sees" "cow" "+"))
If the cow likes the bald eagle then the cow needs the bald eagle.
((("cow" "likes" "bald eagle" "+")) -> ("cow" "needs" "bald eagle" "+"))
If someone needs the bald eagle and the bald eagle likes the cow then they are young.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "likes" "cow" "+")) -> ("someone" "is" "young" "+"))
If someone is green and young then they like the rabbit.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone likes the rabbit and the rabbit is blue then they are kind.
((("someone" "likes" "rabbit" "+") ("rabbit" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and green then they like the bald eagle.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone is young then they like the rabbit.
((("someone" "is" "young" "+")) -> ("someone" "likes" "rabbit" "+"))
The bald eagle needs the rabbit.
True
1
proof
[(triple2)]
("bald eagle" "needs" "rabbit" "+")
triple2
The rabbit is not green.
False
1
inv-proof
[(triple7)]
("rabbit" "is" "green" "-")
triple7
The rabbit likes the bald eagle.
True
3
proof
[(((triple6 triple7) -> rule7))]
("rabbit" "likes" "bald eagle" "+")
((triple6 triple7) -> (rule7 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The rabbit does not like the bald eagle.
False
3
inv-proof
[(((triple6 triple7) -> rule7))]
("rabbit" "likes" "bald eagle" "-")
((triple6 triple7) -> (rule7 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The cow is kind.
True
4
proof
[(((((triple4) -> rule8) triple6) -> rule6))]
("cow" "is" "kind" "+")
((((triple4) -> (rule8 % int2)) triple6) -> (rule6 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int2
The cow is not kind.
False
4
inv-proof
[(((((triple4) -> rule8) triple6) -> rule6))]
("cow" "is" "kind" "-")
((((triple4) -> (rule8 % int2)) triple6) -> (rule6 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int2
The rabbit is not young.
Unknown
inv-rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "is" "young" "-")
The bald eagle likes the rabbit.
Unknown
rconc
[@2: The bald eagle likes the rabbit.[CWA. Example of deepest failure = (rule8 <- rule4 <- FAIL)]]
("bald eagle" "likes" "rabbit" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "likes" "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" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The cow is nice.
Unknown
random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle needs the rabbit.[(triple2)] The cow is blue.[(triple3)] The cow is young.[(triple4)] The cow sees the bald eagle.[(triple5)] The rabbit is blue.[(triple6)] The rabbit is green.[(triple7)] @1: The cow likes the rabbit.[(((triple4) -> rule8))] The rabbit likes the bald eagle.[(((triple6 triple7) -> rule7))] @2: The cow is kind.[(((((triple4) -> rule8) triple6) -> rule6))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is young.
("cow" "is" "young" "+")
triple4
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple5
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple6
The rabbit is green.
("rabbit" "is" "green" "+")
triple7
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
((triple4) -> (rule8 % int1))
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
((triple6 triple7) -> (rule7 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
((((triple4) -> (rule8 % int2)) triple6) -> (rule6 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int2