Anne is green. Anne is nice. Anne is smart. Anne is not white. Charlie is smart. Dave is big. Dave is green. Dave is kind. Dave is nice. Harry is kind. All nice, kind people are white.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is not white.
("Anne" "is" "white" "-")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
All nice, kind people are white.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
Dave is green.
True
1
proof
[(triple7)]
("Dave" "is" "green" "+")
triple7
Charlie is not smart.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "smart" "-")
triple5
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "white" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is not white.[(triple4)] Anne is smart.[(triple3)] Charlie is smart.[(triple5)] Dave is big.[(triple6)] Dave is green.[(triple7)] Dave is kind.[(triple8)] Dave is nice.[(triple9)] Harry is kind.[(triple10)] @1: Dave is white.[(((triple9 triple8) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is not white.
("Anne" "is" "white" "-")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Dave is white.
("Dave" "is" "white" "+")
((triple9 triple8) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1