Anne is white. Charlie is kind. Erin is young. If something is smart and young then it is white. If something is cold then it is young. All kind, round things are cold. Young things are white. If something is kind then it is white. Young things are white.
Anne is white.
("Anne" "is" "white" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Erin is young.
("Erin" "is" "young" "+")
If something is smart and young then it is white.
((("something" "is" "smart" "+") ("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
If something is cold then it is young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
All kind, round things are cold.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
Young things are white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
If something is kind then it is white.
((("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
Young things are white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
Anne is white.
True
1
proof
[(triple1)]
("Anne" "is" "white" "+")
triple1
Anne is not white.
False
1
inv-proof
[(triple1)]
("Anne" "is" "white" "-")
triple1
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "cold" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Anne is white.[(triple1)] Charlie is kind.[(triple2)] Erin is young.[(triple3)] @1: Charlie is white.[(((triple2) -> rule5))] Erin is white.[(((triple3) -> rule4) OR ((triple3) -> rule6))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
((triple2) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple3) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple3) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1