Charlie is blue. Charlie is cold. Charlie is quiet. If Charlie is blue then Charlie is kind. If something is quiet and not cold then it is blue.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
If Charlie is blue then Charlie is kind.
((("Charlie" "is" "blue" "+")) -> ("Charlie" "is" "kind" "+"))
If something is quiet and not cold then it is blue.
((("something" "is" "quiet" "+") ("something" "is" "cold" "~")) -> ("something" "is" "blue" "+"))
Charlie is quiet.
True
1
proof
[(triple3)]
("Charlie" "is" "quiet" "+")
triple3
Charlie is not quiet.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "quiet" "-")
triple3
Charlie is kind.
True
2
proof
[(((triple1) -> rule1))]
("Charlie" "is" "kind" "+")
((triple1) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not kind.
False
2
inv-proof
[(((triple1) -> rule1))]
("Charlie" "is" "kind" "-")
((triple1) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is quiet.[(triple3)] @1: Charlie is kind.[(((triple1) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1