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