The bald eagle chases the bear. The bald eagle eats the rabbit. The bear does not eat the bald eagle. The bear eats the rabbit. The bear is big. The bear is green. The bear is nice. The bear does not visit the cat. The cat chases the bald eagle. The cat is green. The cat visits the bald eagle. The cat visits the rabbit. The rabbit eats the cat. The rabbit is not kind. The rabbit visits the cat. If something visits the bald eagle and it eats the rabbit then the rabbit does not eat the cat. If something visits the rabbit then it chases the cat. If something is nice and it eats the bald eagle then the bald eagle eats the rabbit. If something is green and it chases the bald eagle then the bald eagle is green. If something is green then it visits the rabbit. If the rabbit is nice and the rabbit chases the cat then the rabbit is green.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bear does not eat the bald eagle.
("bear" "eats" "bald eagle" "-")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear does not visit the cat.
("bear" "visits" "cat" "-")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is green.
("cat" "is" "green" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is not kind.
("rabbit" "is" "kind" "-")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
If something visits the bald eagle and it eats the rabbit then the rabbit does not eat the cat.
((("something" "visits" "bald eagle" "+") ("something" "eats" "rabbit" "+")) -> ("rabbit" "eats" "cat" "-"))
If something visits the rabbit then it chases the cat.
((("something" "visits" "rabbit" "+")) -> ("something" "chases" "cat" "+"))
If something is nice and it eats the bald eagle then the bald eagle eats the rabbit.
((("something" "is" "nice" "+") ("something" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "rabbit" "+"))
If something is green and it chases the bald eagle then the bald eagle is green.
((("something" "is" "green" "+") ("something" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
If something is green then it visits the rabbit.
((("something" "is" "green" "+")) -> ("something" "visits" "rabbit" "+"))
If the rabbit is nice and the rabbit chases the cat then the rabbit is green.
((("rabbit" "is" "nice" "+") ("rabbit" "chases" "cat" "+")) -> ("rabbit" "is" "green" "+"))
The rabbit is not kind.
True
1
proof
[(triple14)]
("rabbit" "is" "kind" "-")
triple14
The bear is not green.
False
1
inv-proof
[(triple6)]
("bear" "is" "green" "-")
triple6
The bald eagle is green.
True
3
proof
[(((triple10 triple9) -> rule4))]
("bald eagle" "is" "green" "+")
((triple10 triple9) -> (rule4 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bear does not visit the rabbit.
False
2
inv-proof
[(((triple6) -> rule5))]
("bear" "visits" "rabbit" "-")
((triple6) -> (rule5 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The bald eagle visits the rabbit.
True
4
proof
[(((((triple10 triple9) -> rule4)) -> rule5))]
("bald eagle" "visits" "rabbit" "+")
((((triple10 triple9) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle does not visit the rabbit.
False
4
inv-proof
[(((((triple10 triple9) -> rule4)) -> rule5))]
("bald eagle" "visits" "rabbit" "-")
((((triple10 triple9) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle chases the cat.
True
5
proof
[(((((((triple10 triple9) -> rule4)) -> rule5)) -> rule2))]
("bald eagle" "chases" "cat" "+")
((((((triple10 triple9) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle does not chase the cat.
False
5
inv-proof
[(((((((triple10 triple9) -> rule4)) -> rule5)) -> rule2))]
("bald eagle" "chases" "cat" "-")
((((((triple10 triple9) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The rabbit does not chase the cat.
Unknown
inv-rconc
[@3: The rabbit chases the cat.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule6 <- FAIL)]]
("rabbit" "chases" "cat" "-")
The rabbit visits the rabbit.
Unknown
rconc
[@2: The rabbit visits the rabbit.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("rabbit" "visits" "rabbit" "+")
The rabbit is not green.
Unknown
inv-rconc
[@1: The rabbit is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "is" "green" "-")
The rabbit is red.
Unknown
random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
The bear does not chase the bald eagle.
Unknown
inv-random
[@0: The bear chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bald eagle" "-")
The bald eagle chases the rabbit.
Unknown
random
[@0: The bald eagle chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "rabbit" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bear does not eat the bald eagle.[(triple3)] The bear does not visit the cat.[(triple8)] The bear eats the rabbit.[(triple4)] The bear is big.[(triple5)] The bear is green.[(triple6)] The bear is nice.[(triple7)] The cat chases the bald eagle.[(triple9)] The cat is green.[(triple10)] The cat visits the bald eagle.[(triple11)] The cat visits the rabbit.[(triple12 OR ((triple10) -> rule5))] The rabbit eats the cat.[(triple13)] The rabbit is not kind.[(triple14)] The rabbit visits the cat.[(triple15)] @1: The bald eagle is green.[(((triple10 triple9) -> rule4))] The bear visits the rabbit.[(((triple6) -> rule5))] The cat chases the cat.[(((triple12) -> rule2) OR ((((triple10) -> rule5)) -> rule2))] @2: The bald eagle visits the rabbit.[(((((triple10 triple9) -> rule4)) -> rule5))] The bear chases the cat.[(((((triple6) -> rule5)) -> rule2))] @3: The bald eagle chases the cat.[(((((((triple10 triple9) -> rule4)) -> rule5)) -> rule2))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple2
The bear does not eat the bald eagle.
("bear" "eats" "bald eagle" "-")
triple3
The bear does not visit the cat.
("bear" "visits" "cat" "-")
triple8
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple4
The bear is big.
("bear" "is" "big" "+")
triple5
The bear is green.
("bear" "is" "green" "+")
triple6
The bear is nice.
("bear" "is" "nice" "+")
triple7
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple9
The cat is green.
("cat" "is" "green" "+")
triple10
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple11
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple12
((triple10) -> (rule5 % int1))
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int1
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple13
The rabbit is not kind.
("rabbit" "is" "kind" "-")
triple14
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple15
The bald eagle is green.
("bald eagle" "is" "green" "+")
((triple10 triple9) -> (rule4 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
((triple6) -> (rule5 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple12) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
((((triple10) -> (rule5 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
((((triple10 triple9) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
((((triple6) -> (rule5 % int2))) -> (rule2 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
((((((triple10 triple9) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3