Anne is blue. Gary is young. Harry is quiet. If something is young then it is not red. All big things are not blue. If Harry is young and Harry is not white then Harry is blue.
Anne is blue.
("Anne" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If something is young then it is not red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "-"))
All big things are not blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "-"))
If Harry is young and Harry is not white then Harry is blue.
((("Harry" "is" "young" "+") ("Harry" "is" "white" "~")) -> ("Harry" "is" "blue" "+"))
Gary is young.
True
1
proof
[(triple2)]
("Gary" "is" "young" "+")
triple2
Harry is not quiet.
False
1
inv-proof
[(triple3)]
("Harry" "is" "quiet" "-")
triple3
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "blue" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is blue.[(triple1)] Gary is young.[(triple2)] Harry is quiet.[(triple3)] @1: Gary is not red.[(((triple2) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Gary is young.
("Gary" "is" "young" "+")
triple2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple3
Gary is not red.
("Gary" "is" "red" "-")
((triple2) -> (rule1 % int1))
Gary is not red.
("Gary" "is" "red" "-")
int1