The cow is nice. The dog needs the cow. The lion visits the rabbit. The rabbit is kind. If someone visits the cow then they are nice.
The cow is nice.
("cow" "is" "nice" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
If someone visits the cow then they are nice.
((("someone" "visits" "cow" "+")) -> ("someone" "is" "nice" "+"))
The cow is nice.
True
1
proof
[(triple1)]
("cow" "is" "nice" "+")
triple1
The cow is not nice.
False
1
inv-proof
[(triple1)]
("cow" "is" "nice" "-")
triple1
The rabbit is not nice.
Unknown
inv-rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "nice" "-")
The dog chases the lion.
Unknown
random
[@0: The dog chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "lion" "+")
@0: The cow is nice.[(triple1)] The dog needs the cow.[(triple2)] The lion visits the rabbit.[(triple3)] The rabbit is kind.[(triple4)]
The cow is nice.
("cow" "is" "nice" "+")
triple1
The dog needs the cow.
("dog" "needs" "cow" "+")
triple2
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple3
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple4