The cow chases the rabbit. The cow is green. The cow is rough. The cow is round. The cow likes the rabbit. The rabbit chases the cow. The rabbit is kind. The rabbit is red. The rabbit is round. The rabbit likes the cow. If something chases the cow and the cow likes the rabbit then the rabbit chases the cow. If the cow likes the rabbit and the cow chases the rabbit then the rabbit is not green. If the rabbit chases the cow and the rabbit likes the cow then the rabbit does not need the cow. If something is kind and it does not chase the rabbit then the rabbit does not need the cow. If something needs the rabbit then the rabbit likes the cow. If something likes the cow and the cow is not green then the cow does not need the rabbit. If something is rough and it chases the rabbit then it does not need the cow. If the cow likes the rabbit and the cow does not need the rabbit then the rabbit is rough.
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
If something chases the cow and the cow likes the rabbit then the rabbit chases the cow.
((("something" "chases" "cow" "+") ("cow" "likes" "rabbit" "+")) -> ("rabbit" "chases" "cow" "+"))
If the cow likes the rabbit and the cow chases the rabbit then the rabbit is not green.
((("cow" "likes" "rabbit" "+") ("cow" "chases" "rabbit" "+")) -> ("rabbit" "is" "green" "-"))
If the rabbit chases the cow and the rabbit likes the cow then the rabbit does not need the cow.
((("rabbit" "chases" "cow" "+") ("rabbit" "likes" "cow" "+")) -> ("rabbit" "needs" "cow" "-"))
If something is kind and it does not chase the rabbit then the rabbit does not need the cow.
((("something" "is" "kind" "+") ("something" "chases" "rabbit" "~")) -> ("rabbit" "needs" "cow" "-"))
If something needs the rabbit then the rabbit likes the cow.
((("something" "needs" "rabbit" "+")) -> ("rabbit" "likes" "cow" "+"))
If something likes the cow and the cow is not green then the cow does not need the rabbit.
((("something" "likes" "cow" "+") ("cow" "is" "green" "~")) -> ("cow" "needs" "rabbit" "-"))
If something is rough and it chases the rabbit then it does not need the cow.
((("something" "is" "rough" "+") ("something" "chases" "rabbit" "+")) -> ("something" "needs" "cow" "-"))
If the cow likes the rabbit and the cow does not need the rabbit then the rabbit is rough.
((("cow" "likes" "rabbit" "+") ("cow" "needs" "rabbit" "~")) -> ("rabbit" "is" "rough" "+"))
The cow likes the rabbit.
True
1
proof
[(triple5)]
("cow" "likes" "rabbit" "+")
triple5
The rabbit does not like the cow.
False
1
inv-proof
[(triple10)]
("rabbit" "likes" "cow" "-")
triple10
The rabbit is not rough.
Unknown
inv-rconc
[@1: The rabbit is rough.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "is" "rough" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
@0: The cow chases the rabbit.[(triple1)] The cow is green.[(triple2)] The cow is rough.[(triple3)] The cow is round.[(triple4)] The cow likes the rabbit.[(triple5)] The rabbit chases the cow.[(triple6)] The rabbit is kind.[(triple7)] The rabbit is red.[(triple8)] The rabbit is round.[(triple9)] The rabbit likes the cow.[(triple10)] @1: The cow does not need the cow.[(((triple3 triple1) -> rule7))] The rabbit does not need the cow.[(((triple6 triple10) -> rule3))] The rabbit is not green.[(((triple5 triple1) -> rule2))]
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
triple2
The cow is rough.
("cow" "is" "rough" "+")
triple3
The cow is round.
("cow" "is" "round" "+")
triple4
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple5
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple6
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple7
The rabbit is red.
("rabbit" "is" "red" "+")
triple8
The rabbit is round.
("rabbit" "is" "round" "+")
triple9
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple10
The cow does not need the cow.
("cow" "needs" "cow" "-")
((triple3 triple1) -> (rule7 % int1))
The cow does not need the cow.
("cow" "needs" "cow" "-")
int1
The rabbit does not need the cow.
("rabbit" "needs" "cow" "-")
((triple6 triple10) -> (rule3 % int1))
The rabbit does not need the cow.
("rabbit" "needs" "cow" "-")
int1
The rabbit is not green.
("rabbit" "is" "green" "-")
((triple5 triple1) -> (rule2 % int1))
The rabbit is not green.
("rabbit" "is" "green" "-")
int1