Anne is not green. Bob is big. Bob is furry. Bob is kind. Harry is cold. Harry is furry. Harry is kind. All quiet, kind things are not nice. All quiet, kind things are nice. If Bob is green and Bob is not kind then Bob is quiet. If Harry is kind then Harry is nice. If Harry is cold and Harry is big then Harry is quiet. If Harry is furry and Harry is quiet then Harry is kind.
Anne is not green.
("Anne" "is" "green" "-")
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
All quiet, kind things are not nice.
((("something" "is" "quiet" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "-"))
All quiet, kind things are nice.
((("something" "is" "quiet" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
If Bob is green and Bob is not kind then Bob is quiet.
((("Bob" "is" "green" "+") ("Bob" "is" "kind" "~")) -> ("Bob" "is" "quiet" "+"))
If Harry is kind then Harry is nice.
((("Harry" "is" "kind" "+")) -> ("Harry" "is" "nice" "+"))
If Harry is cold and Harry is big then Harry is quiet.
((("Harry" "is" "cold" "+") ("Harry" "is" "big" "+")) -> ("Harry" "is" "quiet" "+"))
If Harry is furry and Harry is quiet then Harry is kind.
((("Harry" "is" "furry" "+") ("Harry" "is" "quiet" "+")) -> ("Harry" "is" "kind" "+"))
Bob is big.
True
1
proof
[(triple2)]
("Bob" "is" "big" "+")
triple2
Harry is not cold.
False
1
inv-proof
[(triple5)]
("Harry" "is" "cold" "-")
triple5
Bob is not quiet.
Unknown
inv-rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "quiet" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Anne is not green.[(triple1)] Bob is big.[(triple2)] Bob is furry.[(triple3)] Bob is kind.[(triple4)] Harry is cold.[(triple5)] Harry is furry.[(triple6)] Harry is kind.[(triple7)] @1: Harry is nice.[(((triple7) -> rule4))]
Anne is not green.
("Anne" "is" "green" "-")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple5
Harry is furry.
("Harry" "is" "furry" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
((triple7) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1