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