Erin is blue. Gary is kind. Harry is young. If someone is kind then they are white. If Harry is furry and Harry is white then Harry is kind. All white, kind people are blue. If Gary is nice then Gary is kind. If someone is kind and nice then they are red. All white people are red. If someone is red and blue then they are young. If someone is white then they are furry.
Erin is blue.
("Erin" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is kind then they are white.
((("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
If Harry is furry and Harry is white then Harry is kind.
((("Harry" "is" "furry" "+") ("Harry" "is" "white" "+")) -> ("Harry" "is" "kind" "+"))
All white, kind people are blue.
((("someone" "is" "white" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If Gary is nice then Gary is kind.
((("Gary" "is" "nice" "+")) -> ("Gary" "is" "kind" "+"))
If someone is kind and nice then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
All white people are red.
((("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
If someone is red and blue then they are young.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is white then they are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
Harry is young.
True
1
proof
[(triple3)]
("Harry" "is" "young" "+")
triple3
Harry is not young.
False
1
inv-proof
[(triple3)]
("Harry" "is" "young" "-")
triple3
Gary is white.
True
2
proof
[(((triple2) -> rule1))]
("Gary" "is" "white" "+")
((triple2) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not white.
False
2
inv-proof
[(((triple2) -> rule1))]
("Gary" "is" "white" "-")
((triple2) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Harry is not blue.
Unknown
inv-rconc
[@3: Harry is blue.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule2 <- FAIL)]]
("Harry" "is" "blue" "-")
Harry is white.
Unknown
rconc
[@2: Harry is white.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Harry" "is" "white" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Erin is blue.[(triple1)] Gary is kind.[(triple2)] Harry is young.[(triple3)] @1: Gary is white.[(((triple2) -> rule1))] @2: Gary is blue.[(((((triple2) -> rule1) triple2) -> rule3))] Gary is furry.[(((((triple2) -> rule1)) -> rule8))] Gary is red.[(((((triple2) -> rule1)) -> rule6))] @3: Gary is young.[(((((((triple2) -> rule1)) -> rule6) ((((triple2) -> rule1) triple2) -> rule3)) -> rule7))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Gary is kind.
("Gary" "is" "kind" "+")
triple2
Harry is young.
("Harry" "is" "young" "+")
triple3
Gary is white.
("Gary" "is" "white" "+")
((triple2) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((((triple2) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
((((triple2) -> (rule1 % int2))) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((((triple2) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule1 % int4)) triple2) -> (rule3 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4