Anne is rough. Gary is blue. If someone is cold then they are young. If someone is blue then they are nice. Young people are rough. If Gary is white then Gary is cold. All cold, white people are smart. All cold, smart people are nice.
Anne is rough.
("Anne" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is blue then they are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
Young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If Gary is white then Gary is cold.
((("Gary" "is" "white" "+")) -> ("Gary" "is" "cold" "+"))
All cold, white people are smart.
((("someone" "is" "cold" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
All cold, smart people are nice.
((("someone" "is" "cold" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
Gary is blue.
True
1
proof
[(triple2)]
("Gary" "is" "blue" "+")
triple2
Anne is not rough.
False
1
inv-proof
[(triple1)]
("Anne" "is" "rough" "-")
triple1
Gary is nice.
True
2
proof
[(((triple2) -> rule2))]
("Gary" "is" "nice" "+")
((triple2) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not nice.
False
2
inv-proof
[(((triple2) -> rule2))]
("Gary" "is" "nice" "-")
((triple2) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not rough.
Unknown
inv-rconc
[@3: Gary is rough.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule4 <- FAIL)]]
("Gary" "is" "rough" "-")
Anne is nice.
Unknown
rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "nice" "+")
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is rough.[(triple1)] Gary is blue.[(triple2)] @1: Gary is nice.[(((triple2) -> rule2))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
((triple2) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1