Anne is kind. Dave is blue. Erin is white. If something is round and white then it is nice. All white, nice things are round. Kind things are nice. All kind, nice things are white. Rough, blue things are green. White, blue things are round.
Anne is kind.
("Anne" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Erin is white.
("Erin" "is" "white" "+")
If something is round and white then it is nice.
((("something" "is" "round" "+") ("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
All white, nice things are round.
((("something" "is" "white" "+") ("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
Kind things are nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
All kind, nice things are white.
((("something" "is" "kind" "+") ("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
Rough, blue things are green.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
White, blue things are round.
((("something" "is" "white" "+") ("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
Erin is white.
True
1
proof
[(triple3)]
("Erin" "is" "white" "+")
triple3
Erin is not white.
False
1
inv-proof
[(triple3)]
("Erin" "is" "white" "-")
triple3
Erin is not round.
Unknown
inv-rconc
[@3: Erin is round.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule6 <- FAIL)]]
("Erin" "is" "round" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is kind.[(triple1)] Dave is blue.[(triple2)] Erin is white.[(triple3)] @1: Anne is nice.[(((triple1) -> rule3))] @2: Anne is white.[(((triple1 ((triple1) -> rule3)) -> rule4))] @3: Anne is round.[(((((triple1 ((triple1) -> rule3)) -> rule4) ((triple1) -> rule3)) -> rule2))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((triple1 ((triple1) -> (rule3 % int2))) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
((((triple1 ((triple1) -> (rule3 % int3))) -> (rule4 % int2)) ((triple1) -> (rule3 % int3))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3