The bear is round. The bear needs the cow. The cow is big. The cow is cold. The cow is green. The cow visits the rabbit. The dog is green. The dog does not need the rabbit. The dog visits the cow. The dog does not visit the rabbit. The rabbit is round. The rabbit likes the bear. The rabbit likes the cow. The rabbit needs the bear. The rabbit visits the cow. If someone is green and round then they like the dog.
The bear is round.
("bear" "is" "round" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is green.
("cow" "is" "green" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The dog is green.
("dog" "is" "green" "+")
The dog does not need the rabbit.
("dog" "needs" "rabbit" "-")
The dog visits the cow.
("dog" "visits" "cow" "+")
The dog does not visit the rabbit.
("dog" "visits" "rabbit" "-")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If someone is green and round then they like the dog.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "likes" "dog" "+"))
The bear is round.
True
1
proof
[(triple1)]
("bear" "is" "round" "+")
triple1
The rabbit does not visit the cow.
False
1
inv-proof
[(triple15)]
("rabbit" "visits" "cow" "-")
triple15
The rabbit does not like the dog.
Unknown
inv-rconc
[@1: The rabbit likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "likes" "dog" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The bear is round.[(triple1)] The bear needs the cow.[(triple2)] The cow is big.[(triple3)] The cow is cold.[(triple4)] The cow is green.[(triple5)] The cow visits the rabbit.[(triple6)] The dog does not need the rabbit.[(triple8)] The dog does not visit the rabbit.[(triple10)] The dog is green.[(triple7)] The dog visits the cow.[(triple9)] The rabbit is round.[(triple11)] The rabbit likes the bear.[(triple12)] The rabbit likes the cow.[(triple13)] The rabbit needs the bear.[(triple14)] The rabbit visits the cow.[(triple15)]
The bear is round.
("bear" "is" "round" "+")
triple1
The bear needs the cow.
("bear" "needs" "cow" "+")
triple2
The cow is big.
("cow" "is" "big" "+")
triple3
The cow is cold.
("cow" "is" "cold" "+")
triple4
The cow is green.
("cow" "is" "green" "+")
triple5
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple6
The dog does not need the rabbit.
("dog" "needs" "rabbit" "-")
triple8
The dog does not visit the rabbit.
("dog" "visits" "rabbit" "-")
triple10
The dog is green.
("dog" "is" "green" "+")
triple7
The dog visits the cow.
("dog" "visits" "cow" "+")
triple9
The rabbit is round.
("rabbit" "is" "round" "+")
triple11
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple12
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple13
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple14
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple15