Dave is red. Dave is young. Gary is quiet. Red people are nice. Nice, big people are young. Nice people are red. White, big people are red. All white, quiet people are nice. Big, quiet people are green.
Dave is red.
("Dave" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Red people are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Nice, big people are young.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Nice people are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
White, big people are red.
((("someone" "is" "white" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
All white, quiet people are nice.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
Big, quiet people are green.
((("someone" "is" "big" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
Dave is young.
True
1
proof
[(triple2)]
("Dave" "is" "young" "+")
triple2
Dave is not young.
False
1
inv-proof
[(triple2)]
("Dave" "is" "young" "-")
triple2
Dave is nice.
True
2
proof
[(((triple1) -> rule1))]
("Dave" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
2
inv-proof
[(((triple1) -> rule1))]
("Dave" "is" "nice" "-")
((triple1) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "young" "+")
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Dave is red.[(triple1)] Dave is young.[(triple2)] Gary is quiet.[(triple3)] @1: Dave is nice.[(((triple1) -> rule1))]
Dave is red.
("Dave" "is" "red" "+")
triple1
Dave is young.
("Dave" "is" "young" "+")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1