Alan's a round guy, and a red and green guy. Bob is green, which is a possible explanation for why he is so nice. Charlie is a pretty young guy, who is quite nice, with a round shape, and red and green features. Dave looks red to most people, with blue features. Whoever is rough and red must be kind. Young people green with envy are so focused on themselves that they are often describe as cold. That is misleading though because these people are also kind. Blue and red people who are young always have rough skin. If a person is red, kind, and nice then they must be round. Kind people who are blue with sadness and cold toward others are surprisingly red. Young people that are nice and green tend to be blue.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
If someone is rough and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and cold and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and red and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and red and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and kind and blue then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is young and nice and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Charlie is green.
True
1
proof
[(triple10)]
("Charlie" "is" "green" "+")
triple10
Charlie is not round.
False
1
inv-proof
[(triple7 OR ((triple9 triple8 ((((((triple6 triple9 triple10) -> rule6) triple8 triple6) -> rule3) triple8) -> rule1)) -> rule4))]
("Charlie" "is" "round" "-")
triple7
((triple9 triple8 ((((((triple6 triple9 triple10) -> (rule6 % int4)) triple8 triple6) -> (rule3 % int3)) triple8) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is blue.
True
4
proof
[(((triple6 triple9 triple10) -> rule6))]
("Charlie" "is" "blue" "+")
((triple6 triple9 triple10) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not blue.
False
4
inv-proof
[(((triple6 triple9 triple10) -> rule6))]
("Charlie" "is" "blue" "-")
((triple6 triple9 triple10) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
True
7
proof
[(((((triple6 triple9 triple10) -> rule6) triple8 triple6) -> rule3))]
("Charlie" "is" "rough" "+")
((((triple6 triple9 triple10) -> (rule6 % int2)) triple8 triple6) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not rough.
False
7
inv-proof
[(((((triple6 triple9 triple10) -> rule6) triple8 triple6) -> rule3))]
("Charlie" "is" "rough" "-")
((((triple6 triple9 triple10) -> (rule6 % int2)) triple8 triple6) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
True
9
proof
[(((((((triple6 triple9 triple10) -> rule6) triple8 triple6) -> rule3) triple8) -> rule1))]
("Charlie" "is" "kind" "+")
((((((triple6 triple9 triple10) -> (rule6 % int3)) triple8 triple6) -> (rule3 % int2)) triple8) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not kind.
False
9
inv-proof
[(((((((triple6 triple9 triple10) -> rule6) triple8 triple6) -> rule3) triple8) -> rule1))]
("Charlie" "is" "kind" "-")
((((((triple6 triple9 triple10) -> (rule6 % int3)) triple8 triple6) -> (rule3 % int2)) triple8) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "rough" "-")
Dave is kind.
Unknown
rconc
[@2: Dave is kind.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Dave" "is" "kind" "+")
Alan is not kind.
Unknown
inv-rconc
[@2: Alan is kind.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Alan" "is" "kind" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "red" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Alan is green.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is green.[(triple5)] Bob is nice.[(triple4)] Charlie is green.[(triple10)] Charlie is nice.[(triple9)] Charlie is red.[(triple8)] Charlie is round.[(triple7 OR ((triple9 triple8 ((((((triple6 triple9 triple10) -> rule6) triple8 triple6) -> rule3) triple8) -> rule1)) -> rule4))] Charlie is young.[(triple6)] Dave is blue.[(triple12)] Dave is red.[(triple11)] @1: Charlie is blue.[(((triple6 triple9 triple10) -> rule6))] @2: Charlie is rough.[(((((triple6 triple9 triple10) -> rule6) triple8 triple6) -> rule3))] @3: Charlie is kind.[(((((((triple6 triple9 triple10) -> rule6) triple8 triple6) -> rule3) triple8) -> rule1))]
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple10
Charlie is nice.
("Charlie" "is" "nice" "+")
triple9
Charlie is red.
("Charlie" "is" "red" "+")
triple8
Charlie is round.
("Charlie" "is" "round" "+")
triple7
((triple9 triple8 ((((((triple6 triple9 triple10) -> (rule6 % int4)) triple8 triple6) -> (rule3 % int3)) triple8) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple12
Dave is red.
("Dave" "is" "red" "+")
triple11
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple6 triple9 triple10) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple6 triple9 triple10) -> (rule6 % int2)) triple8 triple6) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((((((triple6 triple9 triple10) -> (rule6 % int3)) triple8 triple6) -> (rule3 % int2)) triple8) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Alan's a round guy, and a red and green guy.
Bob is green, which is a possible explanation for why he is so nice.
Charlie is a pretty young guy, who is quite nice, with a round shape, and red and green features.
Dave looks red to most people, with blue features.
Whoever is rough and red must be kind.
Young people green with envy are so focused on themselves that they are often describe as cold; That is misleading though because these people are also kind.
Blue and red people who are young always have rough skin.
If a person is red, kind, and nice then they must be round.
Kind people who are blue with sadness and cold toward others are surprisingly red.
Young people that are nice and green tend to be blue.