Harry is quiet. Blue, cold people are kind. All white, blue people are kind. All quiet, round people are kind. If Harry is not white then Harry is blue. If Harry is quiet then Harry is nice. If Harry is cold then Harry is kind.
Harry is quiet.
("Harry" "is" "quiet" "+")
Blue, cold people are kind.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
All white, blue people are kind.
((("someone" "is" "white" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
All quiet, round people are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If Harry is not white then Harry is blue.
((("Harry" "is" "white" "~")) -> ("Harry" "is" "blue" "+"))
If Harry is quiet then Harry is nice.
((("Harry" "is" "quiet" "+")) -> ("Harry" "is" "nice" "+"))
If Harry is cold then Harry is kind.
((("Harry" "is" "cold" "+")) -> ("Harry" "is" "kind" "+"))
Harry is quiet.
True
1
proof
[(triple1)]
("Harry" "is" "quiet" "+")
triple1
Harry is not quiet.
False
1
inv-proof
[(triple1)]
("Harry" "is" "quiet" "-")
triple1
Harry is nice.
True
2
proof
[(((triple1) -> rule5))]
("Harry" "is" "nice" "+")
((triple1) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
2
inv-proof
[(((triple1) -> rule5))]
("Harry" "is" "nice" "-")
((triple1) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "blue" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Harry is quiet.[(triple1)] @1: Harry is nice.[(((triple1) -> rule5))]
Harry is quiet.
("Harry" "is" "quiet" "+")
triple1
Harry is nice.
("Harry" "is" "nice" "+")
((triple1) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1