Bob is furry. Harry is kind. If Harry is kind then Harry is quiet. If something is cold and not red then it is not blue.
Bob is furry.
("Bob" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If Harry is kind then Harry is quiet.
((("Harry" "is" "kind" "+")) -> ("Harry" "is" "quiet" "+"))
If something is cold and not red then it is not blue.
((("something" "is" "cold" "+") ("something" "is" "red" "~")) -> ("something" "is" "blue" "-"))
Bob is furry.
True
1
proof
[(triple1)]
("Bob" "is" "furry" "+")
triple1
Bob is not furry.
False
1
inv-proof
[(triple1)]
("Bob" "is" "furry" "-")
triple1
Harry is quiet.
True
2
proof
[(((triple2) -> rule1))]
("Harry" "is" "quiet" "+")
((triple2) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is not quiet.
False
2
inv-proof
[(((triple2) -> rule1))]
("Harry" "is" "quiet" "-")
((triple2) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is furry.[(triple1)] Harry is kind.[(triple2)] @1: Harry is quiet.[(((triple2) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Harry is kind.
("Harry" "is" "kind" "+")
triple2
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple2) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1