Erin is white. All white, young people are blue. White, nice people are rough. All young people are white. White people are kind. If someone is blue and white then they are nice. Rough people are big.
Erin is white.
("Erin" "is" "white" "+")
All white, young people are blue.
((("someone" "is" "white" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
White, nice people are rough.
((("someone" "is" "white" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
All young people are white.
((("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
White people are kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and white then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
Rough people are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Erin is white.
True
1
proof
[(triple1)]
("Erin" "is" "white" "+")
triple1
Erin is not white.
False
1
inv-proof
[(triple1)]
("Erin" "is" "white" "-")
triple1
Erin is kind.
True
2
proof
[(((triple1) -> rule4))]
("Erin" "is" "kind" "+")
((triple1) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not kind.
False
2
inv-proof
[(((triple1) -> rule4))]
("Erin" "is" "kind" "-")
((triple1) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not rough.
Unknown
inv-rconc
[@3: Erin is rough.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule1 <- FAIL)]]
("Erin" "is" "rough" "-")
Erin is nice.
Unknown
rconc
[@2: Erin is nice.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Erin" "is" "nice" "+")
@0: Erin is white.[(triple1)] @1: Erin is kind.[(((triple1) -> rule4))]
Erin is white.
("Erin" "is" "white" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
((triple1) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1