Anne is cold. Bob is young. Charlie is red. If Charlie is cold and Charlie is red then Charlie is furry. All furry, red things are green. White things are cold. If Charlie is young and Charlie is red then Charlie is furry. If something is cold and young then it is red. Red, rough things are furry.
Anne is cold.
("Anne" "is" "cold" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
If Charlie is cold and Charlie is red then Charlie is furry.
((("Charlie" "is" "cold" "+") ("Charlie" "is" "red" "+")) -> ("Charlie" "is" "furry" "+"))
All furry, red things are green.
((("something" "is" "furry" "+") ("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
White things are cold.
((("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
If Charlie is young and Charlie is red then Charlie is furry.
((("Charlie" "is" "young" "+") ("Charlie" "is" "red" "+")) -> ("Charlie" "is" "furry" "+"))
If something is cold and young then it is red.
((("something" "is" "cold" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
Red, rough things are furry.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Charlie is not red.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "red" "-")
triple3
Anne is not green.
Unknown
inv-rconc
[@2: Anne is green.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Anne" "is" "green" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Anne is cold.[(triple1)] Bob is young.[(triple2)] Charlie is red.[(triple3)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3