Alan wears all blue. Even though Charlie feels blue because of how round he is, he is still nice and kind to people that talk to him. Eric is young and kind.  But he plays really rough with his friends. Gary's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. An individual that fits the nice, red, and kind description will fit the description of big, too. A male or female with rough, kind and round traits will surely have a nice quality, as well. Most young and nice people will be kind. A rough and round person is also a big person. A round shaped and red person is definitely nice. A kind and nice person who is looking green is often red. Anyone who's blue is also green.
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is red and kind and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and kind and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and nice then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is round and red then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and nice and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Eric is rough.
True
1
proof
[(triple7)]
("Eric" "is" "rough" "+")
triple7
Charlie is not nice.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "nice" "-")
triple3
Alan is green.
True
2
proof
[(((triple1) -> rule7))]
("Alan" "is" "green" "+")
((triple1) -> (rule7 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is not green.
False
2
inv-proof
[(((triple1) -> rule7))]
("Alan" "is" "green" "-")
((triple1) -> (rule7 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Charlie is red.
True
5
proof
[(((triple4 triple3 ((triple5) -> rule7)) -> rule6))]
("Charlie" "is" "red" "+")
((triple4 triple3 ((triple5) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is not red.
False
5
inv-proof
[(((triple4 triple3 ((triple5) -> rule7)) -> rule6))]
("Charlie" "is" "red" "-")
((triple4 triple3 ((triple5) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is big.
True
8
proof
[(((((triple4 triple3 ((triple5) -> rule7)) -> rule6) triple4 triple3) -> rule1))]
("Charlie" "is" "big" "+")
((((triple4 triple3 ((triple5) -> (rule7 % int3))) -> (rule6 % int2)) triple4 triple3) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is not big.
False
8
inv-proof
[(((((triple4 triple3 ((triple5) -> rule7)) -> rule6) triple4 triple3) -> rule1))]
("Charlie" "is" "big" "-")
((((triple4 triple3 ((triple5) -> (rule7 % int3))) -> (rule6 % int2)) triple4 triple3) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "nice" "-")
Alan is red.
Unknown
rconc
[@2: Alan is red.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Alan" "is" "red" "+")
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "kind" "-")
Eric is red.
Unknown
rconc
[@2: Eric is red.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Eric" "is" "red" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Alan is blue.[(triple1)] Charlie is blue.[(triple5)] Charlie is kind.[(triple4)] Charlie is nice.[(triple3)] Charlie is round.[(triple2)] Eric is kind.[(triple8)] Eric is rough.[(triple7)] Eric is young.[(triple6)] Gary is blue.[(triple11)] Gary is green.[(triple10 OR ((triple11) -> rule7))] Gary is nice.[(triple9)] @1: Alan is green.[(((triple1) -> rule7))] Charlie is green.[(((triple5) -> rule7))] @2: Charlie is red.[(((triple4 triple3 ((triple5) -> rule7)) -> rule6))] @3: Charlie is big.[(((((triple4 triple3 ((triple5) -> rule7)) -> rule6) triple4 triple3) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple10
((triple11) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Alan is green.
("Alan" "is" "green" "+")
((triple1) -> (rule7 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple5) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple4 triple3 ((triple5) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((triple4 triple3 ((triple5) -> (rule7 % int3))) -> (rule6 % int2)) triple4 triple3) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Alan wears all blue.
Even though Charlie feels blue because of how round he is, he is still nice and kind to people that talk to him.
Eric is young and kind; But he plays really rough with his friends.
Gary's skin turned blue and green in a lab accident; Despite his outward appearance, he is really nice.
An individual that fits the nice, red, and kind description will fit the description of big, too.
A male or female with rough, kind and round traits will surely have a nice quality, as well.
Most young and nice people will be kind.
A rough and round person is also a big person.
A round shaped and red person is definitely nice.
A kind and nice person who is looking green is often red.
Anyone who's blue is also green.