Bob is not green. Bob is kind. Bob is round. Bob is young. Erin is green. Erin is kind. Erin is white. Gary is round. Harry is round. Harry is white. Red, young people are smart. All white, kind people are young. Young people are red.
Bob is not green.
("Bob" "is" "green" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
Red, young people are smart.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
All white, kind people are young.
((("someone" "is" "white" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Young people are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
Erin is white.
True
1
proof
[(triple7)]
("Erin" "is" "white" "+")
triple7
Bob is green.
False
1
inv-proof
[(triple1)]
("Bob" "is" "green" "+")
triple1
Erin is young.
True
3
proof
[(((triple7 triple6) -> rule2))]
("Erin" "is" "young" "+")
((triple7 triple6) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Bob is not red.
False
2
inv-proof
[(((triple4) -> rule3))]
("Bob" "is" "red" "-")
((triple4) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
True
4
proof
[(((((triple4) -> rule3) triple4) -> rule1))]
("Bob" "is" "smart" "+")
((((triple4) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Erin is not red.
False
4
inv-proof
[(((((triple7 triple6) -> rule2)) -> rule3))]
("Erin" "is" "red" "-")
((((triple7 triple6) -> (rule2 % int2))) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
True
8
proof
[(((((((triple7 triple6) -> rule2)) -> rule3) ((triple7 triple6) -> rule2)) -> rule1))]
("Erin" "is" "smart" "+")
((((((triple7 triple6) -> (rule2 % int3))) -> (rule3 % int2)) ((triple7 triple6) -> (rule2 % int3))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is not smart.
False
8
inv-proof
[(((((((triple7 triple6) -> rule2)) -> rule3) ((triple7 triple6) -> rule2)) -> rule1))]
("Erin" "is" "smart" "-")
((((((triple7 triple6) -> (rule2 % int3))) -> (rule3 % int2)) ((triple7 triple6) -> (rule2 % int3))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Gary is not smart.
Unknown
inv-rconc
[@2: Gary is smart.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Gary" "is" "smart" "-")
Harry is smart.
Unknown
rconc
[@2: Harry is smart.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Harry" "is" "smart" "+")
Harry is not red.
Unknown
inv-rconc
[@2: Harry is red.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "young" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Bob is kind.[(triple2)] Bob is not green.[(triple1)] Bob is round.[(triple3)] Bob is young.[(triple4)] Erin is green.[(triple5)] Erin is kind.[(triple6)] Erin is white.[(triple7)] Gary is round.[(triple8)] Harry is round.[(triple9)] Harry is white.[(triple10)] @1: Bob is red.[(((triple4) -> rule3))] Erin is young.[(((triple7 triple6) -> rule2))] @2: Bob is smart.[(((((triple4) -> rule3) triple4) -> rule1))] Erin is red.[(((((triple7 triple6) -> rule2)) -> rule3))] @3: Erin is smart.[(((((((triple7 triple6) -> rule2)) -> rule3) ((triple7 triple6) -> rule2)) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is not green.
("Bob" "is" "green" "-")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
Bob is red.
("Bob" "is" "red" "+")
((triple4) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple7 triple6) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
((((triple4) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
((((triple7 triple6) -> (rule2 % int2))) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
((((((triple7 triple6) -> (rule2 % int3))) -> (rule3 % int2)) ((triple7 triple6) -> (rule2 % int3))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3