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