The bald eagle chases the rabbit. The bald eagle eats the lion. The bald eagle likes the rabbit. The lion chases the bald eagle. The lion eats the bald eagle. The lion is rough. The lion likes the bald eagle. The rabbit eats the bald eagle. The rabbit eats the lion. The rabbit likes the bald eagle. If something eats the bald eagle then it is big. If something likes the rabbit then the rabbit likes the bald eagle. If something is big then it chases the rabbit. If something is rough then it eats the rabbit. If something chases the lion and it chases the bald eagle then the bald eagle is nice. If something eats the rabbit and the rabbit likes the bald eagle then the bald eagle is cold. If something likes the rabbit and it is nice then the rabbit is big. If something likes the lion then the lion is cold.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
If something eats the bald eagle then it is big.
((("something" "eats" "bald eagle" "+")) -> ("something" "is" "big" "+"))
If something likes the rabbit then the rabbit likes the bald eagle.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "likes" "bald eagle" "+"))
If something is big then it chases the rabbit.
((("something" "is" "big" "+")) -> ("something" "chases" "rabbit" "+"))
If something is rough then it eats the rabbit.
((("something" "is" "rough" "+")) -> ("something" "eats" "rabbit" "+"))
If something chases the lion and it chases the bald eagle then the bald eagle is nice.
((("something" "chases" "lion" "+") ("something" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "nice" "+"))
If something eats the rabbit and the rabbit likes the bald eagle then the bald eagle is cold.
((("something" "eats" "rabbit" "+") ("rabbit" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "cold" "+"))
If something likes the rabbit and it is nice then the rabbit is big.
((("something" "likes" "rabbit" "+") ("something" "is" "nice" "+")) -> ("rabbit" "is" "big" "+"))
If something likes the lion then the lion is cold.
((("something" "likes" "lion" "+")) -> ("lion" "is" "cold" "+"))
The rabbit eats the bald eagle.
True
1
proof
[(triple8)]
("rabbit" "eats" "bald eagle" "+")
triple8
The bald eagle does not chase the rabbit.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "rabbit" "-")
triple1
The lion eats the rabbit.
True
2
proof
[(((triple6) -> rule4))]
("lion" "eats" "rabbit" "+")
((triple6) -> (rule4 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
The lion does not eat the rabbit.
False
2
inv-proof
[(((triple6) -> rule4))]
("lion" "eats" "rabbit" "-")
((triple6) -> (rule4 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
The rabbit chases the rabbit.
True
3
proof
[(((((triple8) -> rule1)) -> rule3))]
("rabbit" "chases" "rabbit" "+")
((((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit does not chase the rabbit.
False
3
inv-proof
[(((((triple8) -> rule1)) -> rule3))]
("rabbit" "chases" "rabbit" "-")
((((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The lion is not cold.
Unknown
inv-rconc
[@1: The lion is cold.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "is" "cold" "-")
The rabbit eats the rabbit.
Unknown
rconc
[@1: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "eats" "rabbit" "+")
The bald eagle is not big.
Unknown
inv-rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "big" "-")
The bald eagle chases the lion.
Unknown
random
[@0: The bald eagle chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "lion" "+")
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 chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle likes the rabbit.[(triple3)] The lion chases the bald eagle.[(triple4)] The lion eats the bald eagle.[(triple5)] The lion is rough.[(triple6)] The lion likes the bald eagle.[(triple7)] The rabbit eats the bald eagle.[(triple8)] The rabbit eats the lion.[(triple9)] The rabbit likes the bald eagle.[(triple10 OR ((triple3) -> rule2))] @1: The lion eats the rabbit.[(((triple6) -> rule4))] The lion is big.[(((triple5) -> rule1))] The rabbit is big.[(((triple8) -> rule1))] @2: The bald eagle is cold.[(((((triple6) -> rule4) triple10) -> rule6) OR ((((triple6) -> rule4) ((triple3) -> rule2)) -> rule6))] The lion chases the rabbit.[(((((triple5) -> rule1)) -> rule3))] The rabbit chases the rabbit.[(((((triple8) -> rule1)) -> rule3))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple3
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple4
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple5
The lion is rough.
("lion" "is" "rough" "+")
triple6
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple7
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple8
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple9
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple10
((triple3) -> (rule2 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
((triple6) -> (rule4 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
The lion is big.
("lion" "is" "big" "+")
((triple5) -> (rule1 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
((triple8) -> (rule1 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((((triple6) -> (rule4 % int2)) triple10) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int2
((((triple6) -> (rule4 % int3)) ((triple3) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int3
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
((((triple5) -> (rule1 % int2))) -> (rule3 % int1))
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int1
The lion is big.
("lion" "is" "big" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2