Anne is green. Gary is kind. Harry is blue. If something is furry and kind then it is round. Kind, round things are not green. If Gary is kind then Gary is round.
Anne is green.
("Anne" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If something is furry and kind then it is round.
((("something" "is" "furry" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
Kind, round things are not green.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "green" "-"))
If Gary is kind then Gary is round.
((("Gary" "is" "kind" "+")) -> ("Gary" "is" "round" "+"))
Gary is kind.
True
1
proof
[(triple2)]
("Gary" "is" "kind" "+")
triple2
Harry is not blue.
False
1
inv-proof
[(triple3)]
("Harry" "is" "blue" "-")
triple3
Gary is round.
True
2
proof
[(((triple2) -> rule3))]
("Gary" "is" "round" "+")
((triple2) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple2) -> rule3))]
("Gary" "is" "round" "-")
((triple2) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "-")
Anne is round.
Unknown
rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "round" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Anne is green.[(triple1)] Gary is kind.[(triple2)] Harry is blue.[(triple3)] @1: Gary is round.[(((triple2) -> rule3))] @2: Gary is not green.[(((triple2 ((triple2) -> rule3)) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Gary is kind.
("Gary" "is" "kind" "+")
triple2
Harry is blue.
("Harry" "is" "blue" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
((triple2) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not green.
("Gary" "is" "green" "-")
((triple2 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Gary is not green.
("Gary" "is" "green" "-")
int1
Gary is round.
("Gary" "is" "round" "+")
int2