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