The bald eagle eats the lion. The bald eagle is not nice. The dog is green. The lion eats the bald eagle. The rabbit is big. The rabbit is blue. The rabbit is green. If something chases the rabbit and it does not eat the lion then the lion sees the bald eagle.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The dog is green.
("dog" "is" "green" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
If something chases the rabbit and it does not eat the lion then the lion sees the bald eagle.
((("something" "chases" "rabbit" "+") ("something" "eats" "lion" "~")) -> ("lion" "sees" "bald eagle" "+"))
The rabbit is blue.
True
1
proof
[(triple6)]
("rabbit" "is" "blue" "+")
triple6
The rabbit is not green.
False
1
inv-proof
[(triple7)]
("rabbit" "is" "green" "-")
triple7
The lion does not see the bald eagle.
Unknown
inv-rconc
[@1: The lion sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "sees" "bald eagle" "-")
The bald eagle sees the rabbit.
Unknown
random
[@0: The bald eagle sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "rabbit" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is not nice.[(triple2)] The dog is green.[(triple3)] The lion eats the bald eagle.[(triple4)] The rabbit is big.[(triple5)] The rabbit is blue.[(triple6)] The rabbit is green.[(triple7)]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple4
The rabbit is big.
("rabbit" "is" "big" "+")
triple5
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple6
The rabbit is green.
("rabbit" "is" "green" "+")
triple7