The cow does not see the rabbit. The rabbit chases the cow. The rabbit is green. The rabbit is rough. The rabbit is round. The rabbit does not like the cow. The rabbit sees the cow. If the cow likes the rabbit and the cow sees the rabbit then the cow is green. If the cow is young and the rabbit does not chase the cow then the rabbit is rough.
The cow does not see the rabbit.
("cow" "sees" "rabbit" "-")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit does not like the cow.
("rabbit" "likes" "cow" "-")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
If the cow likes the rabbit and the cow sees the rabbit then the cow is green.
((("cow" "likes" "rabbit" "+") ("cow" "sees" "rabbit" "+")) -> ("cow" "is" "green" "+"))
If the cow is young and the rabbit does not chase the cow then the rabbit is rough.
((("cow" "is" "young" "+") ("rabbit" "chases" "cow" "~")) -> ("rabbit" "is" "rough" "+"))
The rabbit does not like the cow.
True
1
proof
[(triple6)]
("rabbit" "likes" "cow" "-")
triple6
The rabbit is not rough.
False
1
inv-proof
[(triple4)]
("rabbit" "is" "rough" "-")
triple4
The cow is not green.
Unknown
inv-rconc
[@1: The cow is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "green" "-")
The cow is kind.
Unknown
random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "+")
@0: The cow does not see the rabbit.[(triple1)] The rabbit chases the cow.[(triple2)] The rabbit does not like the cow.[(triple6)] The rabbit is green.[(triple3)] The rabbit is rough.[(triple4)] The rabbit is round.[(triple5)] The rabbit sees the cow.[(triple7)]
The cow does not see the rabbit.
("cow" "sees" "rabbit" "-")
triple1
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple2
The rabbit does not like the cow.
("rabbit" "likes" "cow" "-")
triple6
The rabbit is green.
("rabbit" "is" "green" "+")
triple3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple4
The rabbit is round.
("rabbit" "is" "round" "+")
triple5
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple7