Anne is not green. Anne is kind. Anne is nice. Anne is white. Anne is young. Dave is not blue. Dave is not round. Dave is not white. Gary is green. Gary is nice. Gary is white. Gary is young. All blue, round things are kind. All green things are round. All nice, round things are blue. Kind, round things are nice. All nice, blue things are young. Green, nice things are white.
Anne is not green.
("Anne" "is" "green" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is not blue.
("Dave" "is" "blue" "-")
Dave is not round.
("Dave" "is" "round" "-")
Dave is not white.
("Dave" "is" "white" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
All blue, round things are kind.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
All green things are round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
All nice, round things are blue.
((("something" "is" "nice" "+") ("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
Kind, round things are nice.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
All nice, blue things are young.
((("something" "is" "nice" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
Green, nice things are white.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
Anne is young.
True
1
proof
[(triple5)]
("Anne" "is" "young" "+")
triple5
Gary is not white.
False
1
inv-proof
[(triple11 OR ((triple9 triple10) -> rule6))]
("Gary" "is" "white" "-")
triple11
((triple9 triple10) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is round.
True
2
proof
[(((triple9) -> rule2))]
("Gary" "is" "round" "+")
((triple9) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple9) -> rule2))]
("Gary" "is" "round" "-")
((triple9) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
True
4
proof
[(((triple10 ((triple9) -> rule2)) -> rule3))]
("Gary" "is" "blue" "+")
((triple10 ((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not blue.
False
4
inv-proof
[(((triple10 ((triple9) -> rule2)) -> rule3))]
("Gary" "is" "blue" "-")
((triple10 ((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
True
7
proof
[(((((triple10 ((triple9) -> rule2)) -> rule3) ((triple9) -> rule2)) -> rule1))]
("Gary" "is" "kind" "+")
((((triple10 ((triple9) -> (rule2 % int3))) -> (rule3 % int2)) ((triple9) -> (rule2 % int3))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not kind.
False
7
inv-proof
[(((((triple10 ((triple9) -> rule2)) -> rule3) ((triple9) -> rule2)) -> rule1))]
("Gary" "is" "kind" "-")
((((triple10 ((triple9) -> (rule2 % int3))) -> (rule3 % int2)) ((triple9) -> (rule2 % int3))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "nice" "-")
Anne is blue.
Unknown
rconc
[@2: Anne is blue.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Anne" "is" "blue" "+")
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "young" "+")
@0: Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is not green.[(triple1)] Anne is white.[(triple4)] Anne is young.[(triple5)] Dave is not blue.[(triple6)] Dave is not round.[(triple7)] Dave is not white.[(triple8)] Gary is green.[(triple9)] Gary is nice.[(triple10)] Gary is white.[(triple11 OR ((triple9 triple10) -> rule6))] Gary is young.[(triple12 OR ((triple10 ((triple10 ((triple9) -> rule2)) -> rule3)) -> rule5))] @1: Gary is round.[(((triple9) -> rule2))] @2: Gary is blue.[(((triple10 ((triple9) -> rule2)) -> rule3))] @3: Gary is kind.[(((((triple10 ((triple9) -> rule2)) -> rule3) ((triple9) -> rule2)) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is not green.
("Anne" "is" "green" "-")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Dave is not blue.
("Dave" "is" "blue" "-")
triple6
Dave is not round.
("Dave" "is" "round" "-")
triple7
Dave is not white.
("Dave" "is" "white" "-")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is white.
("Gary" "is" "white" "+")
triple11
((triple9 triple10) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple12
((triple10 ((triple10 ((triple9) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
((triple9) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple10 ((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple10 ((triple9) -> (rule2 % int3))) -> (rule3 % int2)) ((triple9) -> (rule2 % int3))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3