Charlie is white. Erin is quiet. All cold people are green. All cold, white people are furry. All white, young people are blue. Green people are young. If someone is young and quiet then they are cold. Young people are blue. All young people are furry. All blue people are young.
Charlie is white.
("Charlie" "is" "white" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
All cold people are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
All cold, white people are furry.
((("someone" "is" "cold" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
All white, young people are blue.
((("someone" "is" "white" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Green people are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is young and quiet then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
Young people are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
All young people are furry.
((("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
All blue people are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Erin is quiet.
True
1
proof
[(triple2)]
("Erin" "is" "quiet" "+")
triple2
Erin is not quiet.
False
1
inv-proof
[(triple2)]
("Erin" "is" "quiet" "-")
triple2
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Charlie is white.[(triple1)] Erin is quiet.[(triple2)]
Charlie is white.
("Charlie" "is" "white" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2