Bob is furry. Bob is not green. Bob is kind. Bob is not nice. Bob is not quiet. Bob is not round. Bob is white. Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is not round. Harry is green. Harry is quiet. Harry is round. If something is green then it is nice. All round, green things are quiet. If Gary is green and Gary is kind then Gary is not white. If something is nice and not round then it is white. All green things are not furry. If something is round and white then it is furry. If something is round and not nice then it is not furry. If something is nice and not quiet then it is furry.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is not quiet.
("Bob" "is" "quiet" "-")
Bob is not round.
("Bob" "is" "round" "-")
Bob is white.
("Bob" "is" "white" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not round.
("Gary" "is" "round" "-")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
If something is green then it is nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
All round, green things are quiet.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
If Gary is green and Gary is kind then Gary is not white.
((("Gary" "is" "green" "+") ("Gary" "is" "kind" "+")) -> ("Gary" "is" "white" "-"))
If something is nice and not round then it is white.
((("something" "is" "nice" "+") ("something" "is" "round" "~")) -> ("something" "is" "white" "+"))
All green things are not furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "-"))
If something is round and white then it is furry.
((("something" "is" "round" "+") ("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
If something is round and not nice then it is not furry.
((("something" "is" "round" "+") ("something" "is" "nice" "~")) -> ("something" "is" "furry" "-"))
If something is nice and not quiet then it is furry.
((("something" "is" "nice" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "furry" "+"))
Bob is not quiet.
True
1
proof
[(triple5)]
("Bob" "is" "quiet" "-")
triple5
Bob is round.
False
1
inv-proof
[(triple6)]
("Bob" "is" "round" "+")
triple6
Harry is not furry.
True
2
proof
[(((triple13) -> rule5))]
("Harry" "is" "furry" "-")
((triple13) -> (rule5 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1
Harry is furry.
False
2
inv-proof
[(((triple13) -> rule5))]
("Harry" "is" "furry" "+")
((triple13) -> (rule5 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "white" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Bob is furry.[(triple1)] Bob is kind.[(triple3)] Bob is not green.[(triple2)] Bob is not nice.[(triple4)] Bob is not quiet.[(triple5)] Bob is not round.[(triple6)] Bob is white.[(triple7)] Gary is furry.[(triple8)] Gary is kind.[(triple9)] Gary is nice.[(triple10)] Gary is not round.[(triple12)] Gary is quiet.[(triple11)] Harry is green.[(triple13)] Harry is quiet.[(triple14 OR ((triple15 triple13) -> rule2))] Harry is round.[(triple15)] @1: Gary is white.[(((triple10 triple12) -> rule4))] Harry is nice.[(((triple13) -> rule1))] Harry is not furry.[(((triple13) -> rule5))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is not green.
("Bob" "is" "green" "-")
triple2
Bob is not nice.
("Bob" "is" "nice" "-")
triple4
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple5
Bob is not round.
("Bob" "is" "round" "-")
triple6
Bob is white.
("Bob" "is" "white" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is not round.
("Gary" "is" "round" "-")
triple12
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
((triple15 triple13) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple15
Gary is white.
("Gary" "is" "white" "+")
((triple10 triple12) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple13) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not furry.
("Harry" "is" "furry" "-")
((triple13) -> (rule5 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1