Anne is white. Charlie is not cold. Charlie is not red. Charlie is rough. Charlie is white. Erin is blue. Fiona is quiet. If something is red then it is green. All red things are blue. All blue, red things are quiet.
Anne is white.
("Anne" "is" "white" "+")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is not red.
("Charlie" "is" "red" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
If something is red then it is green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
All red things are blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
All blue, red things are quiet.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
Fiona is quiet.
True
1
proof
[(triple7)]
("Fiona" "is" "quiet" "+")
triple7
Charlie is red.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "red" "+")
triple3
Charlie is not quiet.
Unknown
inv-rconc
[@1: Charlie is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "quiet" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Anne is white.[(triple1)] Charlie is not cold.[(triple2)] Charlie is not red.[(triple3)] Charlie is rough.[(triple4)] Charlie is white.[(triple5)] Erin is blue.[(triple6)] Fiona is quiet.[(triple7)]
Anne is white.
("Anne" "is" "white" "+")
triple1
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple2
Charlie is not red.
("Charlie" "is" "red" "-")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7