Anne is rough. Charlie is red. Fiona is red. If something is blue then it is kind. Green, rough things are cold. Cold things are kind.
Anne is rough.
("Anne" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fiona is red.
("Fiona" "is" "red" "+")
If something is blue then it is kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
Green, rough things are cold.
((("something" "is" "green" "+") ("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
Cold things are kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
Fiona is red.
True
1
proof
[(triple3)]
("Fiona" "is" "red" "+")
triple3
Anne is not rough.
False
1
inv-proof
[(triple1)]
("Anne" "is" "rough" "-")
triple1
Fiona is not kind.
Unknown
inv-rconc
[@2: Fiona is kind.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Anne is rough.[(triple1)] Charlie is red.[(triple2)] Fiona is red.[(triple3)]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3