Anne is furry. Bob is young. Harry is cold. If something is cold and quiet then it is young. Furry things are quiet. If something is green and young then it is furry. All young, quiet things are white. All white, green things are quiet. If Anne is furry and Anne is kind then Anne is cold.
Anne is furry.
("Anne" "is" "furry" "+")
Bob is young.
("Bob" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If something is cold and quiet then it is young.
((("something" "is" "cold" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
Furry things are quiet.
((("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
If something is green and young then it is furry.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
All young, quiet things are white.
((("something" "is" "young" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
All white, green things are quiet.
((("something" "is" "white" "+") ("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
If Anne is furry and Anne is kind then Anne is cold.
((("Anne" "is" "furry" "+") ("Anne" "is" "kind" "+")) -> ("Anne" "is" "cold" "+"))
Bob is young.
True
1
proof
[(triple2)]
("Bob" "is" "young" "+")
triple2
Harry is not cold.
False
1
inv-proof
[(triple3)]
("Harry" "is" "cold" "-")
triple3
Anne is quiet.
True
2
proof
[(((triple1) -> rule2))]
("Anne" "is" "quiet" "+")
((triple1) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is not quiet.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "quiet" "-")
((triple1) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Harry is not white.
Unknown
inv-rconc
[@3: Harry is white.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule3 <- FAIL)]]
("Harry" "is" "white" "-")
Harry is furry.
Unknown
rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "furry" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is furry.[(triple1)] Bob is young.[(triple2)] Harry is cold.[(triple3)] @1: Anne is quiet.[(((triple1) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Harry is cold.
("Harry" "is" "cold" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple1) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1