Bob is blue. Erin is blue. Gary is kind. Harry is green. All green, kind things are nice. All green things are nice. If Erin is nice then Erin is kind. If something is red then it is green. If Gary is red then Gary is blue. If something is nice and young then it is kind.
Bob is blue.
("Bob" "is" "blue" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
All green, kind things are nice.
((("something" "is" "green" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
All green things are nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
If Erin is nice then Erin is kind.
((("Erin" "is" "nice" "+")) -> ("Erin" "is" "kind" "+"))
If something is red then it is green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
If Gary is red then Gary is blue.
((("Gary" "is" "red" "+")) -> ("Gary" "is" "blue" "+"))
If something is nice and young then it is kind.
((("something" "is" "nice" "+") ("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
Bob is blue.
True
1
proof
[(triple1)]
("Bob" "is" "blue" "+")
triple1
Harry is not green.
False
1
inv-proof
[(triple4)]
("Harry" "is" "green" "-")
triple4
Harry is nice.
True
2
proof
[(((triple4) -> rule2))]
("Harry" "is" "nice" "+")
((triple4) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
2
inv-proof
[(((triple4) -> rule2))]
("Harry" "is" "nice" "-")
((triple4) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Erin is not kind.
Unknown
inv-rconc
[@3: Erin is kind.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule4 <- FAIL)]]
("Erin" "is" "kind" "-")
Gary is nice.
Unknown
rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Gary" "is" "nice" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Bob is blue.[(triple1)] Erin is blue.[(triple2)] Gary is kind.[(triple3)] Harry is green.[(triple4)] @1: Harry is nice.[(((triple4) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple3
Harry is green.
("Harry" "is" "green" "+")
triple4
Harry is nice.
("Harry" "is" "nice" "+")
((triple4) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1