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