Anne is blue. Anne is cold. Anne is not kind. Anne is nice. Charlie is cold. Charlie is green. Gary is cold. Gary is kind. Gary is nice. Gary is smart. If someone is blue and not kind then they are smart. If someone is cold and not smart then they are nice.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If someone is blue and not kind then they are smart.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "smart" "+"))
If someone is cold and not smart then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "nice" "+"))
Gary is kind.
True
1
proof
[(triple8)]
("Gary" "is" "kind" "+")
triple8
Gary is not cold.
False
1
inv-proof
[(triple7)]
("Gary" "is" "cold" "-")
triple7
Anne is smart.
True
3
proof
[(((triple1 triple3) -> rule1))]
("Anne" "is" "smart" "+")
((triple1 triple3) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is not smart.
False
3
inv-proof
[(((triple1 triple3) -> rule1))]
("Anne" "is" "smart" "-")
((triple1 triple3) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Charlie is not smart.
Unknown
inv-rconc
[@1: Charlie is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "smart" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "+")
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple4)] Anne is not kind.[(triple3)] Charlie is cold.[(triple5)] Charlie is green.[(triple6)] Gary is cold.[(triple7)] Gary is kind.[(triple8)] Gary is nice.[(triple9)] Gary is smart.[(triple10)] @1: Anne is smart.[(((triple1 triple3) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is not kind.
("Anne" "is" "kind" "-")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple10
Anne is smart.
("Anne" "is" "smart" "+")
((triple1 triple3) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1