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