The cow does not chase the rabbit. The rabbit chases the cow. The rabbit eats the cow. If someone eats the cow and the cow does not chase the rabbit then the cow does not eat the rabbit. If someone chases the rabbit then they are round.
The cow does not chase the rabbit.
("cow" "chases" "rabbit" "-")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
If someone eats the cow and the cow does not chase the rabbit then the cow does not eat the rabbit.
((("someone" "eats" "cow" "+") ("cow" "chases" "rabbit" "~")) -> ("cow" "eats" "rabbit" "-"))
If someone chases the rabbit then they are round.
((("someone" "chases" "rabbit" "+")) -> ("someone" "is" "round" "+"))
The cow does not chase the rabbit.
True
1
proof
[(triple1)]
("cow" "chases" "rabbit" "-")
triple1
The rabbit does not eat the cow.
False
1
inv-proof
[(triple3)]
("rabbit" "eats" "cow" "-")
triple3
The cow does not eat the rabbit.
True
3
proof
[(((triple3 triple1) -> rule1))]
("cow" "eats" "rabbit" "-")
((triple3 triple1) -> (rule1 % int1))
The cow does not eat the rabbit.
("cow" "eats" "rabbit" "-")
int1
The cow eats the rabbit.
False
3
inv-proof
[(((triple3 triple1) -> rule1))]
("cow" "eats" "rabbit" "+")
((triple3 triple1) -> (rule1 % int1))
The cow does not eat the rabbit.
("cow" "eats" "rabbit" "-")
int1
The cow is not round.
Unknown
inv-rconc
[@1: The cow is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "round" "-")
The rabbit is round.
Unknown
rconc
[@1: The rabbit is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "round" "+")
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The rabbit needs the cow.
Unknown
random
[@0: The rabbit needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "cow" "+")
@0: The cow does not chase the rabbit.[(triple1)] The rabbit chases the cow.[(triple2)] The rabbit eats the cow.[(triple3)] @1: The cow does not eat the rabbit.[(((triple3 triple1) -> rule1))]
The cow does not chase the rabbit.
("cow" "chases" "rabbit" "-")
triple1
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple2
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple3
The cow does not eat the rabbit.
("cow" "eats" "rabbit" "-")
((triple3 triple1) -> (rule1 % int1))
The cow does not eat the rabbit.
("cow" "eats" "rabbit" "-")
int1