Bob is not furry. Bob is kind. Dave is furry. Dave is not nice. Gary is big. Gary is kind. Gary is round. Harry is not furry. Harry is not kind. Harry is round. Harry is not smart. Harry is young. All big, kind things are furry. If something is furry and kind then it is young. All big things are round.
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is not nice.
("Dave" "is" "nice" "-")
Gary is big.
("Gary" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is round.
("Harry" "is" "round" "+")
Harry is not smart.
("Harry" "is" "smart" "-")
Harry is young.
("Harry" "is" "young" "+")
All big, kind things are furry.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
If something is furry and kind then it is young.
((("something" "is" "furry" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
All big things are round.
((("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
Harry is not kind.
True
1
proof
[(triple9)]
("Harry" "is" "kind" "-")
triple9
Harry is smart.
False
1
inv-proof
[(triple11)]
("Harry" "is" "smart" "+")
triple11
Gary is furry.
True
3
proof
[(((triple5 triple6) -> rule1))]
("Gary" "is" "furry" "+")
((triple5 triple6) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not furry.
False
3
inv-proof
[(((triple5 triple6) -> rule1))]
("Gary" "is" "furry" "-")
((triple5 triple6) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
True
5
proof
[(((((triple5 triple6) -> rule1) triple6) -> rule2))]
("Gary" "is" "young" "+")
((((triple5 triple6) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is not young.
False
5
inv-proof
[(((((triple5 triple6) -> rule1) triple6) -> rule2))]
("Gary" "is" "young" "-")
((((triple5 triple6) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "young" "+")
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "round" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Bob is kind.[(triple2)] Bob is not furry.[(triple1)] Dave is furry.[(triple3)] Dave is not nice.[(triple4)] Gary is big.[(triple5)] Gary is kind.[(triple6)] Gary is round.[(triple7 OR ((triple5) -> rule3))] Harry is not furry.[(triple8)] Harry is not kind.[(triple9)] Harry is not smart.[(triple11)] Harry is round.[(triple10)] Harry is young.[(triple12)] @1: Gary is furry.[(((triple5 triple6) -> rule1))] @2: Gary is young.[(((((triple5 triple6) -> rule1) triple6) -> rule2))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is not furry.
("Bob" "is" "furry" "-")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is not nice.
("Dave" "is" "nice" "-")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7
((triple5) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Harry is not furry.
("Harry" "is" "furry" "-")
triple8
Harry is not kind.
("Harry" "is" "kind" "-")
triple9
Harry is not smart.
("Harry" "is" "smart" "-")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple12
Gary is furry.
("Gary" "is" "furry" "+")
((triple5 triple6) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((((triple5 triple6) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2