Anne is white. Gary is rough. Harry is smart. If something is white then it is green. If something is round and rough then it is green.
Anne is white.
("Anne" "is" "white" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is white then it is green.
((("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
If something is round and rough then it is green.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
Harry is smart.
True
1
proof
[(triple3)]
("Harry" "is" "smart" "+")
triple3
Anne is not white.
False
1
inv-proof
[(triple1)]
("Anne" "is" "white" "-")
triple1
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Anne is white.[(triple1)] Gary is rough.[(triple2)] Harry is smart.[(triple3)] @1: Anne is green.[(((triple1) -> rule1))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Gary is rough.
("Gary" "is" "rough" "+")
triple2
Harry is smart.
("Harry" "is" "smart" "+")
triple3
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1