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