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