Anne is rough. Charlie is not green. Charlie is young. Gary is furry. Gary is green. Gary is rough. Gary is white. If something is furry and white then it is blue. White, rough things are young. If something is white and not nice then it is young.
Anne is rough.
("Anne" "is" "rough" "+")
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
If something is furry and white then it is blue.
((("something" "is" "furry" "+") ("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
White, rough things are young.
((("something" "is" "white" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
If something is white and not nice then it is young.
((("something" "is" "white" "+") ("something" "is" "nice" "~")) -> ("something" "is" "young" "+"))
Gary is green.
True
1
proof
[(triple5)]
("Gary" "is" "green" "+")
triple5
Gary is not rough.
False
1
inv-proof
[(triple6)]
("Gary" "is" "rough" "-")
triple6
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "blue" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is rough.[(triple1)] Charlie is not green.[(triple2)] Charlie is young.[(triple3)] Gary is furry.[(triple4)] Gary is green.[(triple5)] Gary is rough.[(triple6)] Gary is white.[(triple7)] @1: Gary is blue.[(((triple4 triple7) -> rule1))] Gary is young.[(((triple7 triple6) -> rule2))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Charlie is not green.
("Charlie" "is" "green" "-")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
triple4
Gary is green.
("Gary" "is" "green" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
((triple4 triple7) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple7 triple6) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1