Bob is quiet. Dave is young. Erin is rough. Gary is nice. If someone is furry then they are nice. If Bob is furry then Bob is kind.
Bob is quiet.
("Bob" "is" "quiet" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If someone is furry then they are nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
If Bob is furry then Bob is kind.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "kind" "+"))
Dave is young.
True
1
proof
[(triple2)]
("Dave" "is" "young" "+")
triple2
Bob is not quiet.
False
1
inv-proof
[(triple1)]
("Bob" "is" "quiet" "-")
triple1
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Bob is quiet.[(triple1)] Dave is young.[(triple2)] Erin is rough.[(triple3)] Gary is nice.[(triple4)]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Dave is young.
("Dave" "is" "young" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
triple4