The cow eats the rabbit. The mouse eats the cow. The rabbit is big. If the rabbit chases the cow then the rabbit is kind.
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
If the rabbit chases the cow then the rabbit is kind.
((("rabbit" "chases" "cow" "+")) -> ("rabbit" "is" "kind" "+"))
The rabbit is big.
True
1
proof
[(triple3)]
("rabbit" "is" "big" "+")
triple3
The rabbit is not big.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "big" "-")
triple3
The rabbit is not kind.
Unknown
inv-rconc
[@1: The rabbit is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "kind" "-")
The mouse eats the rabbit.
Unknown
random
[@0: The mouse eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "rabbit" "+")
@0: The cow eats the rabbit.[(triple1)] The mouse eats the cow.[(triple2)] The rabbit is big.[(triple3)]
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple2
The rabbit is big.
("rabbit" "is" "big" "+")
triple3