Dave is green. Dave is kind. Dave is quiet. Dave is smart. Dave is not white. Dave is not young. Gary is kind. Gary is quiet. Gary is white. Gary is young. Harry is not green. Harry is smart. If Harry is not quiet then Harry is young. All quiet, green things are nice. If Dave is not kind and Dave is not smart then Dave is nice.
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is not white.
("Dave" "is" "white" "-")
Dave is not young.
("Dave" "is" "young" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is smart.
("Harry" "is" "smart" "+")
If Harry is not quiet then Harry is young.
((("Harry" "is" "quiet" "~")) -> ("Harry" "is" "young" "+"))
All quiet, green things are nice.
((("something" "is" "quiet" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
If Dave is not kind and Dave is not smart then Dave is nice.
((("Dave" "is" "kind" "~") ("Dave" "is" "smart" "~")) -> ("Dave" "is" "nice" "+"))
Dave is smart.
True
1
proof
[(triple4)]
("Dave" "is" "smart" "+")
triple4
Dave is young.
False
1
inv-proof
[(triple6)]
("Dave" "is" "young" "+")
triple6
Dave is nice.
True
3
proof
[(((triple3 triple1) -> rule2))]
("Dave" "is" "nice" "+")
((triple3 triple1) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
3
inv-proof
[(((triple3 triple1) -> rule2))]
("Dave" "is" "nice" "-")
((triple3 triple1) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "young" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "nice" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Dave is green.[(triple1)] Dave is kind.[(triple2)] Dave is not white.[(triple5)] Dave is not young.[(triple6)] Dave is quiet.[(triple3)] Dave is smart.[(triple4)] Gary is kind.[(triple7)] Gary is quiet.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10)] Harry is not green.[(triple11)] Harry is smart.[(triple12)] @1: Dave is nice.[(((triple3 triple1) -> rule2))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is not white.
("Dave" "is" "white" "-")
triple5
Dave is not young.
("Dave" "is" "young" "-")
triple6
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
Gary is white.
("Gary" "is" "white" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Harry is not green.
("Harry" "is" "green" "-")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
Dave is nice.
("Dave" "is" "nice" "+")
((triple3 triple1) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1