The cow is kind. The cow is nice. The cow is red. The cow is not young. The cow needs the rabbit. The cow does not visit the rabbit. The rabbit does not chase the cow. The rabbit is red. The rabbit is not round. The rabbit visits the cow. If the rabbit does not need the cow then the rabbit is round. If someone is young and they do not need the cow then they chase the cow. If the rabbit chases the cow and the cow is young then the cow does not need the rabbit. If someone visits the rabbit and the rabbit visits the cow then the cow is kind. If someone visits the rabbit and they are not round then they visit the cow. If someone is kind then they chase the rabbit.
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is not young.
("cow" "is" "young" "-")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The cow does not visit the rabbit.
("cow" "visits" "rabbit" "-")
The rabbit does not chase the cow.
("rabbit" "chases" "cow" "-")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is not round.
("rabbit" "is" "round" "-")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If the rabbit does not need the cow then the rabbit is round.
((("rabbit" "needs" "cow" "~")) -> ("rabbit" "is" "round" "+"))
If someone is young and they do not need the cow then they chase the cow.
((("someone" "is" "young" "+") ("someone" "needs" "cow" "~")) -> ("someone" "chases" "cow" "+"))
If the rabbit chases the cow and the cow is young then the cow does not need the rabbit.
((("rabbit" "chases" "cow" "+") ("cow" "is" "young" "+")) -> ("cow" "needs" "rabbit" "-"))
If someone visits the rabbit and the rabbit visits the cow then the cow is kind.
((("someone" "visits" "rabbit" "+") ("rabbit" "visits" "cow" "+")) -> ("cow" "is" "kind" "+"))
If someone visits the rabbit and they are not round then they visit the cow.
((("someone" "visits" "rabbit" "+") ("someone" "is" "round" "~")) -> ("someone" "visits" "cow" "+"))
If someone is kind then they chase the rabbit.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "rabbit" "+"))
The rabbit is not round.
True
1
proof
[(triple9)]
("rabbit" "is" "round" "-")
triple9
The rabbit does not visit the cow.
False
1
inv-proof
[(triple10)]
("rabbit" "visits" "cow" "-")
triple10
The cow does not chase the cow.
Unknown
inv-rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "chases" "cow" "-")
The rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
@0: The cow does not visit the rabbit.[(triple6)] The cow is kind.[(triple1)] The cow is nice.[(triple2)] The cow is not young.[(triple4)] The cow is red.[(triple3)] The cow needs the rabbit.[(triple5)] The rabbit does not chase the cow.[(triple7)] The rabbit is not round.[(triple9)] The rabbit is red.[(triple8)] The rabbit visits the cow.[(triple10)] @1: The cow chases the rabbit.[(((triple1) -> rule6))]
The cow does not visit the rabbit.
("cow" "visits" "rabbit" "-")
triple6
The cow is kind.
("cow" "is" "kind" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow is not young.
("cow" "is" "young" "-")
triple4
The cow is red.
("cow" "is" "red" "+")
triple3
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple5
The rabbit does not chase the cow.
("rabbit" "chases" "cow" "-")
triple7
The rabbit is not round.
("rabbit" "is" "round" "-")
triple9
The rabbit is red.
("rabbit" "is" "red" "+")
triple8
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple10
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
((triple1) -> (rule6 % int1))
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int1