The bear needs the cat. The cat eats the rabbit. The cow needs the bear. The rabbit is round. If the cow chases the bear then the bear does not chase the rabbit. If something is round then it needs the bear.
The bear needs the cat.
("bear" "needs" "cat" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
If the cow chases the bear then the bear does not chase the rabbit.
((("cow" "chases" "bear" "+")) -> ("bear" "chases" "rabbit" "-"))
If something is round then it needs the bear.
((("something" "is" "round" "+")) -> ("something" "needs" "bear" "+"))
The bear needs the cat.
True
1
proof
[(triple1)]
("bear" "needs" "cat" "+")
triple1
The bear does not need the cat.
False
1
inv-proof
[(triple1)]
("bear" "needs" "cat" "-")
triple1
The rabbit needs the bear.
True
2
proof
[(((triple4) -> rule2))]
("rabbit" "needs" "bear" "+")
((triple4) -> (rule2 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit does not need the bear.
False
2
inv-proof
[(((triple4) -> rule2))]
("rabbit" "needs" "bear" "-")
((triple4) -> (rule2 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The cat does not need the bear.
Unknown
inv-rconc
[@1: The cat needs the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "needs" "bear" "-")
The bear needs the bear.
Unknown
rconc
[@1: The bear needs the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "needs" "bear" "+")
The bear is not young.
Unknown
inv-random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "-")
The cow is young.
Unknown
random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "+")
@0: The bear needs the cat.[(triple1)] The cat eats the rabbit.[(triple2)] The cow needs the bear.[(triple3)] The rabbit is round.[(triple4)] @1: The rabbit needs the bear.[(((triple4) -> rule2))]
The bear needs the cat.
("bear" "needs" "cat" "+")
triple1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple2
The cow needs the bear.
("cow" "needs" "bear" "+")
triple3
The rabbit is round.
("rabbit" "is" "round" "+")
triple4
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
((triple4) -> (rule2 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1