Bob is kind. Erin is furry. Gary is furry. Harry is smart. If something is white then it is blue. Kind things are smart. If something is young then it is blue.
Bob is kind.
("Bob" "is" "kind" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is white then it is blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
Kind things are smart.
((("something" "is" "kind" "+")) -> ("something" "is" "smart" "+"))
If something is young then it is blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
Harry is smart.
True
1
proof
[(triple4)]
("Harry" "is" "smart" "+")
triple4
Bob is not kind.
False
1
inv-proof
[(triple1)]
("Bob" "is" "kind" "-")
triple1
Gary is not smart.
Unknown
inv-rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "smart" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Bob is kind.[(triple1)] Erin is furry.[(triple2)] Gary is furry.[(triple3)] Harry is smart.[(triple4)] @1: Bob is smart.[(((triple1) -> rule2))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Gary is furry.
("Gary" "is" "furry" "+")
triple3
Harry is smart.
("Harry" "is" "smart" "+")
triple4
Bob is smart.
("Bob" "is" "smart" "+")
((triple1) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1