Anne is quiet. Charlie is blue. Dave is quiet. Gary is round. If something is young and kind then it is round. All young things are white. All quiet, kind things are white.
Anne is quiet.
("Anne" "is" "quiet" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
If something is young and kind then it is round.
((("something" "is" "young" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
All young things are white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
All quiet, kind things are white.
((("something" "is" "quiet" "+") ("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
Charlie is blue.
True
1
proof
[(triple2)]
("Charlie" "is" "blue" "+")
triple2
Gary is not round.
False
1
inv-proof
[(triple4)]
("Gary" "is" "round" "-")
triple4
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "round" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Anne is quiet.[(triple1)] Charlie is blue.[(triple2)] Dave is quiet.[(triple3)] Gary is round.[(triple4)]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple4