Charlie is not white. Dave is green. Dave is not round. Fiona is cold. Fiona is not round. Fiona is smart. Gary is green. White people are not round. If someone is blue and not green then they are not round. All blue, rough people are cold.
Charlie is not white.
("Charlie" "is" "white" "-")
Dave is green.
("Dave" "is" "green" "+")
Dave is not round.
("Dave" "is" "round" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is green.
("Gary" "is" "green" "+")
White people are not round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "-"))
If someone is blue and not green then they are not round.
((("someone" "is" "blue" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "round" "-"))
All blue, rough people are cold.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Fiona is cold.
True
1
proof
[(triple4)]
("Fiona" "is" "cold" "+")
triple4
Gary is not green.
False
1
inv-proof
[(triple7)]
("Gary" "is" "green" "-")
triple7
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Charlie is not white.[(triple1)] Dave is green.[(triple2)] Dave is not round.[(triple3)] Fiona is cold.[(triple4)] Fiona is not round.[(triple5)] Fiona is smart.[(triple6)] Gary is green.[(triple7)]
Charlie is not white.
("Charlie" "is" "white" "-")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is not round.
("Dave" "is" "round" "-")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Fiona is not round.
("Fiona" "is" "round" "-")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7