Anne is smart. Bob is round. Erin is kind. Fiona is not white. If something is cold then it is round. If something is white and not cold then it is smart. If something is smart and green then it is not blue. If Anne is not round then Anne is green. If something is blue and cold then it is kind. If something is blue and not round then it is kind.
Anne is smart.
("Anne" "is" "smart" "+")
Bob is round.
("Bob" "is" "round" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
If something is cold then it is round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
If something is white and not cold then it is smart.
((("something" "is" "white" "+") ("something" "is" "cold" "~")) -> ("something" "is" "smart" "+"))
If something is smart and green then it is not blue.
((("something" "is" "smart" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "-"))
If Anne is not round then Anne is green.
((("Anne" "is" "round" "~")) -> ("Anne" "is" "green" "+"))
If something is blue and cold then it is kind.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
If something is blue and not round then it is kind.
((("something" "is" "blue" "+") ("something" "is" "round" "~")) -> ("something" "is" "kind" "+"))
Erin is kind.
True
1
proof
[(triple3)]
("Erin" "is" "kind" "+")
triple3
Bob is not round.
False
1
inv-proof
[(triple2)]
("Bob" "is" "round" "-")
triple2
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "smart" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Anne is smart.[(triple1)] Bob is round.[(triple2)] Erin is kind.[(triple3)] Fiona is not white.[(triple4)]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Fiona is not white.
("Fiona" "is" "white" "-")
triple4