The bald eagle chases the rabbit. The bald eagle eats the rabbit. The bald eagle is green. The bald eagle likes the rabbit. The dog chases the lion. The dog eats the bald eagle. The dog eats the lion. The dog eats the rabbit. The dog is not cold. The dog is green. The lion chases the bald eagle. The lion chases the rabbit. The lion is not cold. The lion likes the bald eagle. The lion likes the rabbit. The rabbit is round. If someone is green and they do not like the rabbit then they eat the rabbit. If someone eats the rabbit and they eat the bald eagle then the rabbit is round. If someone is big and green then they like the bald eagle. If someone eats the bald eagle and the bald eagle likes the lion then they like the bald eagle. If someone likes the bald eagle and they like the dog then the dog is cold. If someone eats the lion then they are rough. If someone chases the rabbit then they are not rough. If someone eats the rabbit then the rabbit eats the lion.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is not cold.
("dog" "is" "cold" "-")
The dog is green.
("dog" "is" "green" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion is not cold.
("lion" "is" "cold" "-")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
If someone is green and they do not like the rabbit then they eat the rabbit.
((("someone" "is" "green" "+") ("someone" "likes" "rabbit" "~")) -> ("someone" "eats" "rabbit" "+"))
If someone eats the rabbit and they eat the bald eagle then the rabbit is round.
((("someone" "eats" "rabbit" "+") ("someone" "eats" "bald eagle" "+")) -> ("rabbit" "is" "round" "+"))
If someone is big and green then they like the bald eagle.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone eats the bald eagle and the bald eagle likes the lion then they like the bald eagle.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "likes" "lion" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone likes the bald eagle and they like the dog then the dog is cold.
((("someone" "likes" "bald eagle" "+") ("someone" "likes" "dog" "+")) -> ("dog" "is" "cold" "+"))
If someone eats the lion then they are rough.
((("someone" "eats" "lion" "+")) -> ("someone" "is" "rough" "+"))
If someone chases the rabbit then they are not rough.
((("someone" "chases" "rabbit" "+")) -> ("someone" "is" "rough" "-"))
If someone eats the rabbit then the rabbit eats the lion.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "eats" "lion" "+"))
The bald eagle chases the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "chases" "rabbit" "+")
triple1
The lion is cold.
False
1
inv-proof
[(triple13)]
("lion" "is" "cold" "+")
triple13
The lion is not rough.
True
2
proof
[(((triple12) -> rule7))]
("lion" "is" "rough" "-")
((triple12) -> (rule7 % int1))
The lion is not rough.
("lion" "is" "rough" "-")
int1
The rabbit does not eat the lion.
False
2
inv-proof
[(((triple2) -> rule8) OR ((triple8) -> rule8))]
("rabbit" "eats" "lion" "-")
((triple2) -> (rule8 % int1))
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int1
((triple8) -> (rule8 % int1))
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int1
The rabbit is rough.
True
3
proof
[(((((triple2) -> rule8)) -> rule6) OR ((((triple8) -> rule8)) -> rule6))]
("rabbit" "is" "rough" "+")
((((triple2) -> (rule8 % int2))) -> (rule6 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int2
((((triple8) -> (rule8 % int2))) -> (rule6 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int2
The rabbit is not rough.
False
3
inv-proof
[(((((triple2) -> rule8)) -> rule6) OR ((((triple8) -> rule8)) -> rule6))]
("rabbit" "is" "rough" "-")
((((triple2) -> (rule8 % int2))) -> (rule6 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int2
((((triple8) -> (rule8 % int2))) -> (rule6 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int2
The lion does not eat the rabbit.
Unknown
inv-rconc
[@1: The lion eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "eats" "rabbit" "-")
The bald eagle likes the bald eagle.
Unknown
rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The dog does not like the bald eagle.
Unknown
inv-rconc
[@1: The dog likes the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "likes" "bald eagle" "-")
The bald eagle eats the lion.
Unknown
random
[@0: The bald eagle eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "lion" "+")
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The rabbit chases the bald eagle.
Unknown
random
[@0: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "bald eagle" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle likes the rabbit.[(triple4)] The dog chases the lion.[(triple5)] The dog eats the bald eagle.[(triple6)] The dog eats the lion.[(triple7)] The dog eats the rabbit.[(triple8)] The dog is green.[(triple10)] The dog is not cold.[(triple9)] The lion chases the bald eagle.[(triple11)] The lion chases the rabbit.[(triple12)] The lion is not cold.[(triple13)] The lion likes the bald eagle.[(triple14)] The lion likes the rabbit.[(triple15)] The rabbit is round.[(triple16 OR ((triple8 triple6) -> rule2))] @1: The bald eagle is not rough.[(((triple1) -> rule7))] The dog is rough.[(((triple7) -> rule6))] The lion is not rough.[(((triple12) -> rule7))] The rabbit eats the lion.[(((triple2) -> rule8) OR ((triple8) -> rule8))] @2: The rabbit is rough.[(((((triple2) -> rule8)) -> rule6) OR ((((triple8) -> rule8)) -> rule6))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple4
The dog chases the lion.
("dog" "chases" "lion" "+")
triple5
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple6
The dog eats the lion.
("dog" "eats" "lion" "+")
triple7
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple8
The dog is green.
("dog" "is" "green" "+")
triple10
The dog is not cold.
("dog" "is" "cold" "-")
triple9
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple11
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple12
The lion is not cold.
("lion" "is" "cold" "-")
triple13
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple14
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple15
The rabbit is round.
("rabbit" "is" "round" "+")
triple16
((triple8 triple6) -> (rule2 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
((triple1) -> (rule7 % int1))
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
int1
The dog is rough.
("dog" "is" "rough" "+")
((triple7) -> (rule6 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The lion is not rough.
("lion" "is" "rough" "-")
((triple12) -> (rule7 % int1))
The lion is not rough.
("lion" "is" "rough" "-")
int1
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
((triple2) -> (rule8 % int1))
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int1
((triple8) -> (rule8 % int1))
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
((((triple2) -> (rule8 % int2))) -> (rule6 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int2
((((triple8) -> (rule8 % int2))) -> (rule6 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int2