The cow is rough. The rabbit eats the cow. If something visits the cow then the cow is young. If something chases the cow and it does not chase the rabbit then it eats the cow. If something eats the rabbit then it does not eat the cow. If the rabbit eats the cow then the cow is red. If something chases the cow and it is not round then the cow is red. If something eats the cow and the cow visits the rabbit then it does not visit the rabbit.
The cow is rough.
("cow" "is" "rough" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
If something visits the cow then the cow is young.
((("something" "visits" "cow" "+")) -> ("cow" "is" "young" "+"))
If something chases the cow and it does not chase the rabbit then it eats the cow.
((("something" "chases" "cow" "+") ("something" "chases" "rabbit" "~")) -> ("something" "eats" "cow" "+"))
If something eats the rabbit then it does not eat the cow.
((("something" "eats" "rabbit" "+")) -> ("something" "eats" "cow" "-"))
If the rabbit eats the cow then the cow is red.
((("rabbit" "eats" "cow" "+")) -> ("cow" "is" "red" "+"))
If something chases the cow and it is not round then the cow is red.
((("something" "chases" "cow" "+") ("something" "is" "round" "~")) -> ("cow" "is" "red" "+"))
If something eats the cow and the cow visits the rabbit then it does not visit the rabbit.
((("something" "eats" "cow" "+") ("cow" "visits" "rabbit" "+")) -> ("something" "visits" "rabbit" "-"))
The rabbit eats the cow.
True
1
proof
[(triple2)]
("rabbit" "eats" "cow" "+")
triple2
The cow is not rough.
False
1
inv-proof
[(triple1)]
("cow" "is" "rough" "-")
triple1
The cow does not eat the cow.
Unknown
inv-rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "eats" "cow" "-")
The cow eats the rabbit.
Unknown
random
[@0: The cow eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "rabbit" "+")
@0: The cow is rough.[(triple1)] The rabbit eats the cow.[(triple2)] @1: The cow is red.[(((triple2) -> rule4))]
The cow is rough.
("cow" "is" "rough" "+")
triple1
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
((triple2) -> (rule4 % int1))
The cow is red.
("cow" "is" "red" "+")
int1