The bald eagle chases the lion. The bald eagle chases the rabbit. The bald eagle is big. The bald eagle is not kind. The lion chases the bald eagle. The lion chases the rabbit. The rabbit chases the bald eagle. The rabbit eats the lion. The rabbit is round. The rabbit does not need the lion. If someone is nice and not blue then they chase the rabbit. If someone chases the bald eagle and the bald eagle chases the rabbit then the rabbit chases the lion. If someone chases the lion and the lion does not eat the bald eagle then they do not need the bald eagle. If someone eats the bald eagle and they are not round then they need the lion. If the lion eats the rabbit then the rabbit does not eat the bald eagle. If the lion does not chase the rabbit and the rabbit does not chase the lion then the rabbit does not eat the bald eagle.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit does not need the lion.
("rabbit" "needs" "lion" "-")
If someone is nice and not blue then they chase the rabbit.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "~")) -> ("someone" "chases" "rabbit" "+"))
If someone chases the bald eagle and the bald eagle chases the rabbit then the rabbit chases the lion.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "chases" "rabbit" "+")) -> ("rabbit" "chases" "lion" "+"))
If someone chases the lion and the lion does not eat the bald eagle then they do not need the bald eagle.
((("someone" "chases" "lion" "+") ("lion" "eats" "bald eagle" "~")) -> ("someone" "needs" "bald eagle" "-"))
If someone eats the bald eagle and they are not round then they need the lion.
((("someone" "eats" "bald eagle" "+") ("someone" "is" "round" "~")) -> ("someone" "needs" "lion" "+"))
If the lion eats the rabbit then the rabbit does not eat the bald eagle.
((("lion" "eats" "rabbit" "+")) -> ("rabbit" "eats" "bald eagle" "-"))
If the lion does not chase the rabbit and the rabbit does not chase the lion then the rabbit does not eat the bald eagle.
((("lion" "chases" "rabbit" "~") ("rabbit" "chases" "lion" "~")) -> ("rabbit" "eats" "bald eagle" "-"))
The bald eagle is not kind.
True
1
proof
[(triple4)]
("bald eagle" "is" "kind" "-")
triple4
The bald eagle is not big.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "big" "-")
triple3
The bald eagle does not need the lion.
Unknown
inv-rconc
[@1: The bald eagle needs the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "needs" "lion" "-")
The bald eagle needs the rabbit.
Unknown
random
[@0: The bald eagle needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "rabbit" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is not kind.[(triple4)] The lion chases the bald eagle.[(triple5)] The lion chases the rabbit.[(triple6)] The rabbit chases the bald eagle.[(triple7)] The rabbit does not need the lion.[(triple10)] The rabbit eats the lion.[(triple8)] The rabbit is round.[(triple9)] @1: The rabbit chases the lion.[(((triple5 triple2) -> rule2) OR ((triple7 triple2) -> rule2))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple4
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple5
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple6
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple7
The rabbit does not need the lion.
("rabbit" "needs" "lion" "-")
triple10
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple8
The rabbit is round.
("rabbit" "is" "round" "+")
triple9
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
((triple5 triple2) -> (rule2 % int1))
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int1
((triple7 triple2) -> (rule2 % int1))
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int1