Bob is green. Bob is kind. Bob is white. Dave is kind. Harry is green. Harry is nice. Harry is red. White people are furry. All furry, round people are white.
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
White people are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
All furry, round people are white.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
Harry is green.
True
1
proof
[(triple5)]
("Harry" "is" "green" "+")
triple5
Harry is not green.
False
1
inv-proof
[(triple5)]
("Harry" "is" "green" "-")
triple5
Bob is furry.
True
2
proof
[(((triple3) -> rule1))]
("Bob" "is" "furry" "+")
((triple3) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is not furry.
False
2
inv-proof
[(((triple3) -> rule1))]
("Bob" "is" "furry" "-")
((triple3) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Dave is not furry.
Unknown
inv-rconc
[@2: Dave is furry.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Dave" "is" "furry" "-")
Harry is white.
Unknown
rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "white" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is white.[(triple3)] Dave is kind.[(triple4)] Harry is green.[(triple5)] Harry is nice.[(triple6)] Harry is red.[(triple7)] @1: Bob is furry.[(((triple3) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Harry is green.
("Harry" "is" "green" "+")
triple5
Harry is nice.
("Harry" "is" "nice" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple7
Bob is furry.
("Bob" "is" "furry" "+")
((triple3) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1