Charlie is green. Charlie is kind. Charlie is red. Charlie is rough. Charlie is not white. Gary is green. Gary is not kind. Rough, white things are not kind. If something is kind and not green then it is round. Kind, quiet things are not red.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
Rough, white things are not kind.
((("something" "is" "rough" "+") ("something" "is" "white" "+")) -> ("something" "is" "kind" "-"))
If something is kind and not green then it is round.
((("something" "is" "kind" "+") ("something" "is" "green" "~")) -> ("something" "is" "round" "+"))
Kind, quiet things are not red.
((("something" "is" "kind" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "red" "-"))
Charlie is red.
True
1
proof
[(triple3)]
("Charlie" "is" "red" "+")
triple3
Charlie is not rough.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "rough" "-")
triple4
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is not white.[(triple5)] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Gary is green.[(triple6)] Gary is not kind.[(triple7)]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is not white.
("Charlie" "is" "white" "-")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is not kind.
("Gary" "is" "kind" "-")
triple7