The bald eagle eats the rabbit. The cat is kind. The cow chases the rabbit. The rabbit sees the cow. If someone sees the bald eagle and they chase the cow then they are not rough. If someone chases the bald eagle then they chase the cow. If someone sees the rabbit then they chase the rabbit.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
If someone sees the bald eagle and they chase the cow then they are not rough.
((("someone" "sees" "bald eagle" "+") ("someone" "chases" "cow" "+")) -> ("someone" "is" "rough" "-"))
If someone chases the bald eagle then they chase the cow.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "chases" "cow" "+"))
If someone sees the rabbit then they chase the rabbit.
((("someone" "sees" "rabbit" "+")) -> ("someone" "chases" "rabbit" "+"))
The rabbit sees the cow.
True
1
proof
[(triple4)]
("rabbit" "sees" "cow" "+")
triple4
The rabbit does not see the cow.
False
1
inv-proof
[(triple4)]
("rabbit" "sees" "cow" "-")
triple4
The cat does not chase the cow.
Unknown
inv-rconc
[@1: The cat chases the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "chases" "cow" "-")
The cat is nice.
Unknown
random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The cat is kind.[(triple2)] The cow chases the rabbit.[(triple3)] The rabbit sees the cow.[(triple4)]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple2
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple3
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple4