The bald eagle is rough. The bald eagle likes the rabbit. The bald eagle sees the lion. The cow is green. The cow is red. The cow sees the bald eagle. The lion likes the bald eagle. The lion likes the rabbit. The lion sees the cow. The rabbit is rough. The rabbit likes the cow. The rabbit likes the lion. All green, big people are rough. If the lion visits the bald eagle then the lion is rough. If someone is rough and they like the bald eagle then they see the lion.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is red.
("cow" "is" "red" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
All green, big people are rough.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If the lion visits the bald eagle then the lion is rough.
((("lion" "visits" "bald eagle" "+")) -> ("lion" "is" "rough" "+"))
If someone is rough and they like the bald eagle then they see the lion.
((("someone" "is" "rough" "+") ("someone" "likes" "bald eagle" "+")) -> ("someone" "sees" "lion" "+"))
The rabbit likes the cow.
True
1
proof
[(triple11)]
("rabbit" "likes" "cow" "+")
triple11
The lion does not like the rabbit.
False
1
inv-proof
[(triple8)]
("lion" "likes" "rabbit" "-")
triple8
The lion is not rough.
Unknown
inv-rconc
[@1: The lion is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "rough" "-")
The rabbit visits the cow.
Unknown
random
[@0: The rabbit visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "cow" "+")
@0: The bald eagle is rough.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The bald eagle sees the lion.[(triple3)] The cow is green.[(triple4)] The cow is red.[(triple5)] The cow sees the bald eagle.[(triple6)] The lion likes the bald eagle.[(triple7)] The lion likes the rabbit.[(triple8)] The lion sees the cow.[(triple9)] The rabbit is rough.[(triple10)] The rabbit likes the cow.[(triple11)] The rabbit likes the lion.[(triple12)]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple3
The cow is green.
("cow" "is" "green" "+")
triple4
The cow is red.
("cow" "is" "red" "+")
triple5
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple6
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple7
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple8
The lion sees the cow.
("lion" "sees" "cow" "+")
triple9
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple10
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple11
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple12