Erin is green. Gary is not blue. Harry is kind. All quiet people are blue. If someone is green then they are furry. If Gary is kind then Gary is young.
Erin is green.
("Erin" "is" "green" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Harry is kind.
("Harry" "is" "kind" "+")
All quiet people are blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
If someone is green then they are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If Gary is kind then Gary is young.
((("Gary" "is" "kind" "+")) -> ("Gary" "is" "young" "+"))
Harry is kind.
True
1
proof
[(triple3)]
("Harry" "is" "kind" "+")
triple3
Harry is not kind.
False
1
inv-proof
[(triple3)]
("Harry" "is" "kind" "-")
triple3
Erin is furry.
True
2
proof
[(((triple1) -> rule2))]
("Erin" "is" "furry" "+")
((triple1) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not furry.
False
2
inv-proof
[(((triple1) -> rule2))]
("Erin" "is" "furry" "-")
((triple1) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "furry" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "blue" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Erin is green.[(triple1)] Gary is not blue.[(triple2)] Harry is kind.[(triple3)] @1: Erin is furry.[(((triple1) -> rule2))]
Erin is green.
("Erin" "is" "green" "+")
triple1
Gary is not blue.
("Gary" "is" "blue" "-")
triple2
Harry is kind.
("Harry" "is" "kind" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
((triple1) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1