Anne is white. Charlie is white. Gary is young. Harry is blue. All quiet people are kind. If someone is young then they are cold.
Anne is white.
("Anne" "is" "white" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
All quiet people are kind.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
If someone is young then they are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Charlie is white.
True
1
proof
[(triple2)]
("Charlie" "is" "white" "+")
triple2
Gary is not young.
False
1
inv-proof
[(triple3)]
("Gary" "is" "young" "-")
triple3
Gary is cold.
True
2
proof
[(((triple3) -> rule2))]
("Gary" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
2
inv-proof
[(((triple3) -> rule2))]
("Gary" "is" "cold" "-")
((triple3) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "cold" "-")
Anne is kind.
Unknown
rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "kind" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is white.[(triple1)] Charlie is white.[(triple2)] Gary is young.[(triple3)] Harry is blue.[(triple4)] @1: Gary is cold.[(((triple3) -> rule2))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Charlie is white.
("Charlie" "is" "white" "+")
triple2
Gary is young.
("Gary" "is" "young" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1