Anne is young. Charlie is green. Fiona is rough. Gary is kind. All young people are white. If Fiona is rough and Fiona is not white then Fiona is green.
Anne is young.
("Anne" "is" "young" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is kind.
("Gary" "is" "kind" "+")
All young people are white.
((("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
If Fiona is rough and Fiona is not white then Fiona is green.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "white" "~")) -> ("Fiona" "is" "green" "+"))
Gary is kind.
True
1
proof
[(triple4)]
("Gary" "is" "kind" "+")
triple4
Gary is not kind.
False
1
inv-proof
[(triple4)]
("Gary" "is" "kind" "-")
triple4
Anne is white.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "white" "+")
((triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not white.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "white" "-")
((triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "white" "-")
Fiona is green.
Unknown
rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "green" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is young.[(triple1)] Charlie is green.[(triple2)] Fiona is rough.[(triple3)] Gary is kind.[(triple4)] @1: Anne is white.[(((triple1) -> rule1))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Gary is kind.
("Gary" "is" "kind" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
((triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1