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