The bald eagle chases the cow. The bald eagle eats the cow. The cow chases the lion. The lion chases the rabbit. The lion is cold. The lion is green. The rabbit does not chase the bald eagle. The rabbit eats the lion. The rabbit is big. The rabbit sees the lion. All cold things are nice. If something sees the bald eagle then it does not chase the rabbit. If something eats the bald eagle and the bald eagle is big then it does not eat the lion. If the rabbit is green and the rabbit is nice then the rabbit eats the bald eagle. If something chases the rabbit and the rabbit is big then the rabbit is cold. If something is nice and it chases the cow then it eats the rabbit.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The rabbit does not chase the bald eagle.
("rabbit" "chases" "bald eagle" "-")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
All cold things are nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
If something sees the bald eagle then it does not chase the rabbit.
((("something" "sees" "bald eagle" "+")) -> ("something" "chases" "rabbit" "-"))
If something eats the bald eagle and the bald eagle is big then it does not eat the lion.
((("something" "eats" "bald eagle" "+") ("bald eagle" "is" "big" "+")) -> ("something" "eats" "lion" "-"))
If the rabbit is green and the rabbit is nice then the rabbit eats the bald eagle.
((("rabbit" "is" "green" "+") ("rabbit" "is" "nice" "+")) -> ("rabbit" "eats" "bald eagle" "+"))
If something chases the rabbit and the rabbit is big then the rabbit is cold.
((("something" "chases" "rabbit" "+") ("rabbit" "is" "big" "+")) -> ("rabbit" "is" "cold" "+"))
If something is nice and it chases the cow then it eats the rabbit.
((("something" "is" "nice" "+") ("something" "chases" "cow" "+")) -> ("something" "eats" "rabbit" "+"))
The bald eagle chases the cow.
True
1
proof
[(triple1)]
("bald eagle" "chases" "cow" "+")
triple1
The rabbit is not big.
False
1
inv-proof
[(triple9)]
("rabbit" "is" "big" "-")
triple9
The lion is nice.
True
2
proof
[(((triple5) -> rule1))]
("lion" "is" "nice" "+")
((triple5) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The rabbit is not cold.
False
3
inv-proof
[(((triple4 triple9) -> rule5))]
("rabbit" "is" "cold" "-")
((triple4 triple9) -> (rule5 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The lion does not eat the rabbit.
Unknown
inv-rconc
[@1: The lion eats the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "eats" "rabbit" "-")
The bald eagle eats the rabbit.
Unknown
rconc
[@2: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("bald eagle" "eats" "rabbit" "+")
The rabbit does not see the bald eagle.
Unknown
inv-random
[@0: The rabbit sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "bald eagle" "-")
The lion chases the bald eagle.
Unknown
random
[@0: The lion chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "bald eagle" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle eats the cow.[(triple2)] The cow chases the lion.[(triple3)] The lion chases the rabbit.[(triple4)] The lion is cold.[(triple5)] The lion is green.[(triple6)] The rabbit does not chase the bald eagle.[(triple7)] The rabbit eats the lion.[(triple8)] The rabbit is big.[(triple9)] The rabbit sees the lion.[(triple10)] @1: The lion is nice.[(((triple5) -> rule1))] The rabbit is cold.[(((triple4 triple9) -> rule5))] @2: The rabbit is nice.[(((((triple4 triple9) -> rule5)) -> rule1))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple2
The cow chases the lion.
("cow" "chases" "lion" "+")
triple3
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple4
The lion is cold.
("lion" "is" "cold" "+")
triple5
The lion is green.
("lion" "is" "green" "+")
triple6
The rabbit does not chase the bald eagle.
("rabbit" "chases" "bald eagle" "-")
triple7
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple8
The rabbit is big.
("rabbit" "is" "big" "+")
triple9
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple10
The lion is nice.
("lion" "is" "nice" "+")
((triple5) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple4 triple9) -> (rule5 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
((((triple4 triple9) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2