Harry is kind. If something is rough then it is furry. All white, kind things are not rough. Rough things are not young. If Harry is kind then Harry is not young. Young things are white. If something is cold and not young then it is not green. Green, furry things are not cold. If Harry is green and Harry is not white then Harry is cold.
Harry is kind.
("Harry" "is" "kind" "+")
If something is rough then it is furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
All white, kind things are not rough.
((("something" "is" "white" "+") ("something" "is" "kind" "+")) -> ("something" "is" "rough" "-"))
Rough things are not young.
((("something" "is" "rough" "+")) -> ("something" "is" "young" "-"))
If Harry is kind then Harry is not young.
((("Harry" "is" "kind" "+")) -> ("Harry" "is" "young" "-"))
Young things are white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
If something is cold and not young then it is not green.
((("something" "is" "cold" "+") ("something" "is" "young" "~")) -> ("something" "is" "green" "-"))
Green, furry things are not cold.
((("something" "is" "green" "+") ("something" "is" "furry" "+")) -> ("something" "is" "cold" "-"))
If Harry is green and Harry is not white then Harry is cold.
((("Harry" "is" "green" "+") ("Harry" "is" "white" "~")) -> ("Harry" "is" "cold" "+"))
Harry is kind.
True
1
proof
[(triple1)]
("Harry" "is" "kind" "+")
triple1
Harry is not kind.
False
1
inv-proof
[(triple1)]
("Harry" "is" "kind" "-")
triple1
Harry is not young.
True
2
proof
[(((triple1) -> rule4))]
("Harry" "is" "young" "-")
((triple1) -> (rule4 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1
Harry is young.
False
2
inv-proof
[(((triple1) -> rule4))]
("Harry" "is" "young" "+")
((triple1) -> (rule4 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "furry" "-")
Harry is white.
Unknown
rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "white" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Harry is kind.[(triple1)] @1: Harry is not young.[(((triple1) -> rule4))]
Harry is kind.
("Harry" "is" "kind" "+")
triple1
Harry is not young.
("Harry" "is" "young" "-")
((triple1) -> (rule4 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1