The bear chases the cow. The bear chases the rabbit. The bear is not green. The bear is round. The bear is young. The bear likes the cow. The bear does not like the rabbit. The bear sees the cow. The cow chases the bear. The cow does not chase the rabbit. The cow is green. The cow is not kind. The cow is young. The cow likes the bear. The rabbit likes the bear. The rabbit does not like the cow. If something is round and nice then it does not see the rabbit. If something is kind then it chases the bear.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear is not green.
("bear" "is" "green" "-")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear does not like the rabbit.
("bear" "likes" "rabbit" "-")
The bear sees the cow.
("bear" "sees" "cow" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow does not chase the rabbit.
("cow" "chases" "rabbit" "-")
The cow is green.
("cow" "is" "green" "+")
The cow is not kind.
("cow" "is" "kind" "-")
The cow is young.
("cow" "is" "young" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit does not like the cow.
("rabbit" "likes" "cow" "-")
If something is round and nice then it does not see the rabbit.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "sees" "rabbit" "-"))
If something is kind then it chases the bear.
((("something" "is" "kind" "+")) -> ("something" "chases" "bear" "+"))
The bear chases the rabbit.
True
1
proof
[(triple2)]
("bear" "chases" "rabbit" "+")
triple2
The rabbit does not like the bear.
False
1
inv-proof
[(triple15)]
("rabbit" "likes" "bear" "-")
triple15
The rabbit does not chase the bear.
Unknown
inv-rconc
[@1: The rabbit chases the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "chases" "bear" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
@0: The bear chases the cow.[(triple1)] The bear chases the rabbit.[(triple2)] The bear does not like the rabbit.[(triple7)] The bear is not green.[(triple3)] The bear is round.[(triple4)] The bear is young.[(triple5)] The bear likes the cow.[(triple6)] The bear sees the cow.[(triple8)] The cow chases the bear.[(triple9)] The cow does not chase the rabbit.[(triple10)] The cow is green.[(triple11)] The cow is not kind.[(triple12)] The cow is young.[(triple13)] The cow likes the bear.[(triple14)] The rabbit does not like the cow.[(triple16)] The rabbit likes the bear.[(triple15)]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple2
The bear does not like the rabbit.
("bear" "likes" "rabbit" "-")
triple7
The bear is not green.
("bear" "is" "green" "-")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
The bear likes the cow.
("bear" "likes" "cow" "+")
triple6
The bear sees the cow.
("bear" "sees" "cow" "+")
triple8
The cow chases the bear.
("cow" "chases" "bear" "+")
triple9
The cow does not chase the rabbit.
("cow" "chases" "rabbit" "-")
triple10
The cow is green.
("cow" "is" "green" "+")
triple11
The cow is not kind.
("cow" "is" "kind" "-")
triple12
The cow is young.
("cow" "is" "young" "+")
triple13
The cow likes the bear.
("cow" "likes" "bear" "+")
triple14
The rabbit does not like the cow.
("rabbit" "likes" "cow" "-")
triple16
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple15