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