The bald eagle is red. The bald eagle is rough. The bald eagle sees the cow. The bald eagle sees the lion. The cow chases the bald eagle. The cow chases the rabbit. The cow likes the bald eagle. The cow likes the lion. The cow sees the rabbit. The lion chases the bald eagle. The rabbit is big. The rabbit likes the lion. If something sees the lion and it is not red then the lion is big. If the bald eagle sees the rabbit and the rabbit likes the bald eagle then the bald eagle likes the cow. If something likes the cow then the cow does not chase the bald eagle.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
If something sees the lion and it is not red then the lion is big.
((("something" "sees" "lion" "+") ("something" "is" "red" "~")) -> ("lion" "is" "big" "+"))
If the bald eagle sees the rabbit and the rabbit likes the bald eagle then the bald eagle likes the cow.
((("bald eagle" "sees" "rabbit" "+") ("rabbit" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "cow" "+"))
If something likes the cow then the cow does not chase the bald eagle.
((("something" "likes" "cow" "+")) -> ("cow" "chases" "bald eagle" "-"))
The bald eagle sees the lion.
True
1
proof
[(triple4)]
("bald eagle" "sees" "lion" "+")
triple4
The bald eagle is not rough.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "rough" "-")
triple2
The bald eagle does not like the cow.
Unknown
inv-rconc
[@1: The bald eagle likes the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "cow" "-")
The rabbit is blue.
Unknown
random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle sees the cow.[(triple3)] The bald eagle sees the lion.[(triple4)] The cow chases the bald eagle.[(triple5)] The cow chases the rabbit.[(triple6)] The cow likes the bald eagle.[(triple7)] The cow likes the lion.[(triple8)] The cow sees the rabbit.[(triple9)] The lion chases the bald eagle.[(triple10)] The rabbit is big.[(triple11)] The rabbit likes the lion.[(triple12)]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple3
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple4
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple5
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple6
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple7
The cow likes the lion.
("cow" "likes" "lion" "+")
triple8
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple9
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple10
The rabbit is big.
("rabbit" "is" "big" "+")
triple11
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple12