The bald eagle is kind. The bald eagle sees the rabbit. The rabbit is big. The rabbit is not kind. The rabbit is not rough. The rabbit likes the bald eagle. The rabbit sees the bald eagle. If someone sees the rabbit then they chase the bald eagle. If someone likes the rabbit then they are kind. If someone is big and they chase the rabbit then they see the bald eagle. If someone is cold then they do not like the bald eagle. If the bald eagle is cold then the bald eagle chases the rabbit. If someone chases the bald eagle then they chase the rabbit. If the rabbit is rough then the rabbit likes the bald eagle. If someone chases the bald eagle and the bald eagle chases the rabbit then they are young.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is not kind.
("rabbit" "is" "kind" "-")
The rabbit is not rough.
("rabbit" "is" "rough" "-")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
If someone sees the rabbit then they chase the bald eagle.
((("someone" "sees" "rabbit" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone likes the rabbit then they are kind.
((("someone" "likes" "rabbit" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and they chase the rabbit then they see the bald eagle.
((("someone" "is" "big" "+") ("someone" "chases" "rabbit" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone is cold then they do not like the bald eagle.
((("someone" "is" "cold" "+")) -> ("someone" "likes" "bald eagle" "-"))
If the bald eagle is cold then the bald eagle chases the rabbit.
((("bald eagle" "is" "cold" "+")) -> ("bald eagle" "chases" "rabbit" "+"))
If someone chases the bald eagle then they chase the rabbit.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "chases" "rabbit" "+"))
If the rabbit is rough then the rabbit likes the bald eagle.
((("rabbit" "is" "rough" "+")) -> ("rabbit" "likes" "bald eagle" "+"))
If someone chases the bald eagle and the bald eagle chases the rabbit then they are young.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "chases" "rabbit" "+")) -> ("someone" "is" "young" "+"))
The rabbit is big.
True
1
proof
[(triple3)]
("rabbit" "is" "big" "+")
triple3
The rabbit does not like the bald eagle.
False
1
inv-proof
[(triple6)]
("rabbit" "likes" "bald eagle" "-")
triple6
The bald eagle chases the bald eagle.
True
2
proof
[(((triple2) -> rule1))]
("bald eagle" "chases" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle does not chase the bald eagle.
False
2
inv-proof
[(((triple2) -> rule1))]
("bald eagle" "chases" "bald eagle" "-")
((triple2) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle chases the rabbit.
True
3
proof
[(((((triple2) -> rule1)) -> rule6))]
("bald eagle" "chases" "rabbit" "+")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle does not chase the rabbit.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule6))]
("bald eagle" "chases" "rabbit" "-")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle is young.
True
6
proof
[(((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule6)) -> rule8))]
("bald eagle" "is" "young" "+")
((((triple2) -> (rule1 % int3)) ((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int3
The bald eagle is not young.
False
6
inv-proof
[(((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule6)) -> rule8))]
("bald eagle" "is" "young" "-")
((((triple2) -> (rule1 % int3)) ((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int3
The rabbit is not young.
Unknown
inv-rconc
[@2: The rabbit is young.[CWA. Example of deepest failure = (rule8 <- rule1 <- FAIL)]]
("rabbit" "is" "young" "-")
The bald eagle sees the bald eagle.
Unknown
rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The rabbit does not chase the rabbit.
Unknown
inv-rconc
[@2: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("rabbit" "chases" "rabbit" "-")
The rabbit chases the bald eagle.
Unknown
rconc
[@1: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "chases" "bald eagle" "+")
The bald eagle does not like the rabbit.
Unknown
inv-random
[@0: The bald eagle likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "rabbit" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
The bald eagle is not rough.
Unknown
inv-random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "-")
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" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The rabbit is big.[(triple3)] The rabbit is not kind.[(triple4)] The rabbit is not rough.[(triple5)] The rabbit likes the bald eagle.[(triple6)] The rabbit sees the bald eagle.[(triple7)] @1: The bald eagle chases the bald eagle.[(((triple2) -> rule1))] @2: The bald eagle chases the rabbit.[(((((triple2) -> rule1)) -> rule6))] @3: The bald eagle is young.[(((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule6)) -> rule8))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple2
The rabbit is big.
("rabbit" "is" "big" "+")
triple3
The rabbit is not kind.
("rabbit" "is" "kind" "-")
triple4
The rabbit is not rough.
("rabbit" "is" "rough" "-")
triple5
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple6
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple7
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
((((triple2) -> (rule1 % int3)) ((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int3