The cow is green. The rabbit likes the cow. If the rabbit needs the cow and the rabbit is young then the cow eats the rabbit. If the cow likes the rabbit and the cow needs the rabbit then the rabbit is young. All young people are blue. If someone needs the cow then the cow eats the rabbit. If someone likes the cow and the cow likes the rabbit then the rabbit eats the cow. If someone is young and they like the cow then the cow is round. If the cow likes the rabbit then the rabbit eats the cow. If the rabbit needs the cow then the cow needs the rabbit.
The cow is green.
("cow" "is" "green" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
If the rabbit needs the cow and the rabbit is young then the cow eats the rabbit.
((("rabbit" "needs" "cow" "+") ("rabbit" "is" "young" "+")) -> ("cow" "eats" "rabbit" "+"))
If the cow likes the rabbit and the cow needs the rabbit then the rabbit is young.
((("cow" "likes" "rabbit" "+") ("cow" "needs" "rabbit" "+")) -> ("rabbit" "is" "young" "+"))
All young people are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone needs the cow then the cow eats the rabbit.
((("someone" "needs" "cow" "+")) -> ("cow" "eats" "rabbit" "+"))
If someone likes the cow and the cow likes the rabbit then the rabbit eats the cow.
((("someone" "likes" "cow" "+") ("cow" "likes" "rabbit" "+")) -> ("rabbit" "eats" "cow" "+"))
If someone is young and they like the cow then the cow is round.
((("someone" "is" "young" "+") ("someone" "likes" "cow" "+")) -> ("cow" "is" "round" "+"))
If the cow likes the rabbit then the rabbit eats the cow.
((("cow" "likes" "rabbit" "+")) -> ("rabbit" "eats" "cow" "+"))
If the rabbit needs the cow then the cow needs the rabbit.
((("rabbit" "needs" "cow" "+")) -> ("cow" "needs" "rabbit" "+"))
The cow is green.
True
1
proof
[(triple1)]
("cow" "is" "green" "+")
triple1
The cow is not green.
False
1
inv-proof
[(triple1)]
("cow" "is" "green" "-")
triple1
The cow is not blue.
Unknown
inv-rconc
[@1: The cow is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "is" "blue" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The cow is green.[(triple1)] The rabbit likes the cow.[(triple2)]
The cow is green.
("cow" "is" "green" "+")
triple1
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple2