The bald eagle chases the rabbit. The bald eagle is cold. The cat chases the bald eagle. The cat is cold. The rabbit chases the cat. The rabbit does not eat the bald eagle. The rabbit likes the bald eagle. If someone is round then they do not chase the rabbit. If someone eats the bald eagle then they are nice. If someone eats the rabbit and the rabbit chases the bald eagle then the rabbit is round. If someone chases the rabbit then they eat the bald eagle. If someone likes the cat then they are cold. If someone likes the bald eagle then the bald eagle chases the rabbit.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is cold.
("cat" "is" "cold" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit does not eat the bald eagle.
("rabbit" "eats" "bald eagle" "-")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
If someone is round then they do not chase the rabbit.
((("someone" "is" "round" "+")) -> ("someone" "chases" "rabbit" "-"))
If someone eats the bald eagle then they are nice.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "is" "nice" "+"))
If someone eats the rabbit and the rabbit chases the bald eagle then the rabbit is round.
((("someone" "eats" "rabbit" "+") ("rabbit" "chases" "bald eagle" "+")) -> ("rabbit" "is" "round" "+"))
If someone chases the rabbit then they eat the bald eagle.
((("someone" "chases" "rabbit" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone likes the cat then they are cold.
((("someone" "likes" "cat" "+")) -> ("someone" "is" "cold" "+"))
If someone likes the bald eagle then the bald eagle chases the rabbit.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "chases" "rabbit" "+"))
The rabbit does not eat the bald eagle.
True
1
proof
[(triple6)]
("rabbit" "eats" "bald eagle" "-")
triple6
The rabbit does not chase the cat.
False
1
inv-proof
[(triple5)]
("rabbit" "chases" "cat" "-")
triple5
The bald eagle eats the bald eagle.
True
2
proof
[(((triple1) -> rule4) OR ((((triple7) -> rule6)) -> rule4))]
("bald eagle" "eats" "bald eagle" "+")
((triple1) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle does not eat the bald eagle.
False
2
inv-proof
[(((triple1) -> rule4) OR ((((triple7) -> rule6)) -> rule4))]
("bald eagle" "eats" "bald eagle" "-")
((triple1) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle is nice.
True
3
proof
[(((((triple1) -> rule4)) -> rule2) OR ((((((triple7) -> rule6)) -> rule4)) -> rule2))]
("bald eagle" "is" "nice" "+")
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
((((((triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int3
The bald eagle is not nice.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule2) OR ((((((triple7) -> rule6)) -> rule4)) -> rule2))]
("bald eagle" "is" "nice" "-")
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
((((((triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int3
The cat is not nice.
Unknown
inv-rconc
[@2: The cat is nice.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("cat" "is" "nice" "-")
The rabbit is nice.
Unknown
rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "nice" "+")
The cat does not eat the bald eagle.
Unknown
inv-rconc
[@1: The cat eats the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "eats" "bald eagle" "-")
The rabbit likes the cat.
Unknown
random
[@0: The rabbit likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "cat" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
@0: The bald eagle chases the rabbit.[(triple1 OR ((triple7) -> rule6))] The bald eagle is cold.[(triple2)] The cat chases the bald eagle.[(triple3)] The cat is cold.[(triple4)] The rabbit chases the cat.[(triple5)] The rabbit does not eat the bald eagle.[(triple6)] The rabbit likes the bald eagle.[(triple7)] @1: The bald eagle eats the bald eagle.[(((triple1) -> rule4) OR ((((triple7) -> rule6)) -> rule4))] @2: The bald eagle is nice.[(((((triple1) -> rule4)) -> rule2) OR ((((((triple7) -> rule6)) -> rule4)) -> rule2))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
((triple7) -> (rule6 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple3
The cat is cold.
("cat" "is" "cold" "+")
triple4
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple5
The rabbit does not eat the bald eagle.
("rabbit" "eats" "bald eagle" "-")
triple6
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple7
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple1) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
((((((triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int3