The bear chases the cow. The cow does not need the rabbit. The dog does not like the cow. The rabbit likes the cow. If someone chases the cow then they need the dog. If someone likes the cow then they are round. If someone likes the cow then they are not kind. If someone is red then they need the bear. If someone likes the rabbit and they are not nice then the rabbit is green. If someone needs the dog then they are red.
The bear chases the cow.
("bear" "chases" "cow" "+")
The cow does not need the rabbit.
("cow" "needs" "rabbit" "-")
The dog does not like the cow.
("dog" "likes" "cow" "-")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
If someone chases the cow then they need the dog.
((("someone" "chases" "cow" "+")) -> ("someone" "needs" "dog" "+"))
If someone likes the cow then they are round.
((("someone" "likes" "cow" "+")) -> ("someone" "is" "round" "+"))
If someone likes the cow then they are not kind.
((("someone" "likes" "cow" "+")) -> ("someone" "is" "kind" "-"))
If someone is red then they need the bear.
((("someone" "is" "red" "+")) -> ("someone" "needs" "bear" "+"))
If someone likes the rabbit and they are not nice then the rabbit is green.
((("someone" "likes" "rabbit" "+") ("someone" "is" "nice" "~")) -> ("rabbit" "is" "green" "+"))
If someone needs the dog then they are red.
((("someone" "needs" "dog" "+")) -> ("someone" "is" "red" "+"))
The dog does not like the cow.
True
1
proof
[(triple3)]
("dog" "likes" "cow" "-")
triple3
The cow needs the rabbit.
False
1
inv-proof
[(triple2)]
("cow" "needs" "rabbit" "+")
triple2
The rabbit is not kind.
True
2
proof
[(((triple4) -> rule3))]
("rabbit" "is" "kind" "-")
((triple4) -> (rule3 % int1))
The rabbit is not kind.
("rabbit" "is" "kind" "-")
int1
The bear does not need the dog.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "needs" "dog" "-")
((triple1) -> (rule1 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The cow does not need the bear.
Unknown
inv-rconc
[@3: The cow needs the bear.[CWA. Example of deepest failure = (rule4 <- rule6 <- rule1 <- FAIL)]]
("cow" "needs" "bear" "-")
The dog is round.
Unknown
rconc
[@1: The dog is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "round" "+")
The dog does not need the rabbit.
Unknown
inv-random
[@0: The dog needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "rabbit" "-")
The cow likes the bear.
Unknown
random
[@0: The cow likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "bear" "+")
@0: The bear chases the cow.[(triple1)] The cow does not need the rabbit.[(triple2)] The dog does not like the cow.[(triple3)] The rabbit likes the cow.[(triple4)] @1: The bear needs the dog.[(((triple1) -> rule1))] The rabbit is not kind.[(((triple4) -> rule3))] The rabbit is round.[(((triple4) -> rule2))] @2: The bear is red.[(((((triple1) -> rule1)) -> rule6))] @3: The bear needs the bear.[(((((((triple1) -> rule1)) -> rule6)) -> rule4))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The cow does not need the rabbit.
("cow" "needs" "rabbit" "-")
triple2
The dog does not like the cow.
("dog" "likes" "cow" "-")
triple3
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple4
The bear needs the dog.
("bear" "needs" "dog" "+")
((triple1) -> (rule1 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The rabbit is not kind.
("rabbit" "is" "kind" "-")
((triple4) -> (rule3 % int1))
The rabbit is not kind.
("rabbit" "is" "kind" "-")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
((triple4) -> (rule2 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The bear is red.
("bear" "is" "red" "+")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
((((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear needs the dog.
("bear" "needs" "dog" "+")
int3