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