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