Anne is green. Erin is smart. Green, nice things are white. Round, nice things are smart. If Erin is smart and Erin is round then Erin is red.
Anne is green.
("Anne" "is" "green" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Green, nice things are white.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
Round, nice things are smart.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
If Erin is smart and Erin is round then Erin is red.
((("Erin" "is" "smart" "+") ("Erin" "is" "round" "+")) -> ("Erin" "is" "red" "+"))
Anne is green.
True
1
proof
[(triple1)]
("Anne" "is" "green" "+")
triple1
Erin is not smart.
False
1
inv-proof
[(triple2)]
("Erin" "is" "smart" "-")
triple2
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "white" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Anne is green.[(triple1)] Erin is smart.[(triple2)]
Anne is green.
("Anne" "is" "green" "+")
triple1
Erin is smart.
("Erin" "is" "smart" "+")
triple2