Anne is blue. Anne is green. Charlie is green. Gary is blue. Gary is kind. Gary is nice. Gary is white. Gary is young. Harry is kind. Harry is young. All white, blue people are young. All nice, white people are green. If Gary is green then Gary is quiet.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
All white, blue people are young.
((("someone" "is" "white" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
All nice, white people are green.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If Gary is green then Gary is quiet.
((("Gary" "is" "green" "+")) -> ("Gary" "is" "quiet" "+"))
Harry is kind.
True
1
proof
[(triple9)]
("Harry" "is" "kind" "+")
triple9
Gary is not white.
False
1
inv-proof
[(triple7)]
("Gary" "is" "white" "-")
triple7
Gary is green.
True
3
proof
[(((triple6 triple7) -> rule2))]
("Gary" "is" "green" "+")
((triple6 triple7) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
3
inv-proof
[(((triple6 triple7) -> rule2))]
("Gary" "is" "green" "-")
((triple6 triple7) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
True
4
proof
[(((((triple6 triple7) -> rule2)) -> rule3))]
("Gary" "is" "quiet" "+")
((((triple6 triple7) -> (rule2 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not quiet.
False
4
inv-proof
[(((((triple6 triple7) -> rule2)) -> rule3))]
("Gary" "is" "quiet" "-")
((((triple6 triple7) -> (rule2 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "young" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "green" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Charlie is green.[(triple3)] Gary is blue.[(triple4)] Gary is kind.[(triple5)] Gary is nice.[(triple6)] Gary is white.[(triple7)] Gary is young.[(triple8 OR ((triple7 triple4) -> rule1))] Harry is kind.[(triple9)] Harry is young.[(triple10)] @1: Gary is green.[(((triple6 triple7) -> rule2))] @2: Gary is quiet.[(((((triple6 triple7) -> rule2)) -> rule3))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple8
((triple7 triple4) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
((triple6 triple7) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((((triple6 triple7) -> (rule2 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2