The cat chases the rabbit. The cow is young. The rabbit is nice. If something sees the cow and it needs the rabbit then the rabbit is big.
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cow is young.
("cow" "is" "young" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
If something sees the cow and it needs the rabbit then the rabbit is big.
((("something" "sees" "cow" "+") ("something" "needs" "rabbit" "+")) -> ("rabbit" "is" "big" "+"))
The rabbit is nice.
True
1
proof
[(triple3)]
("rabbit" "is" "nice" "+")
triple3
The rabbit is not nice.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "nice" "-")
triple3
The rabbit is not big.
Unknown
inv-rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "big" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
@0: The cat chases the rabbit.[(triple1)] The cow is young.[(triple2)] The rabbit is nice.[(triple3)]
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple1
The cow is young.
("cow" "is" "young" "+")
triple2
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple3