They always call him rough Alan. Bob is kind and round. Being round makes him a bit blue. Charlie, who is young, nice, green, and blue, is also rather big shaped. Young Gary is wearing green pants. People who are round, blue and cold are usually nice. Young people who are big, downhearted, and blue are kind. A person that is blue green and nice are that way because they are still young. If a human is both young and kind, they are also cold. Big, rough people sometimes are also green and when they are they must be cold. If you are big and young then your are also nice. If you meet someone who is young and cold, then will most definitely be red.
Charlie is cold.
@0: Alan is rough.[(triple1)] Bob is blue.[(triple4)] Bob is kind.[(triple3)] Bob is round.[(triple2)] Charlie is big.[(triple9)] Charlie is blue.[(triple8)] Charlie is green.[(triple7)] Charlie is nice.[(triple6 OR ((triple9 triple5) -> rule6))] Charlie is young.[(triple5 OR ((triple8 triple7 triple6) -> rule3))] Gary is green.[(triple11)] Gary is young.[(triple10)] @1: Charlie is kind.[(((triple9 triple8 triple5) -> rule2) OR ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2))] @2: Charlie is cold.[(((triple5 ((triple9 triple8 triple5) -> rule2)) -> rule4) OR ((((triple8 triple7 triple6) -> rule3) ((triple9 triple8 triple5) -> rule2)) -> rule4) OR ((triple5 ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2)) -> rule4) OR ((((triple8 triple7 triple6) -> rule3) ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2)) -> rule4))] @3: Charlie is red.[(((triple5 ((triple5 ((triple9 triple8 triple5) -> rule2)) -> rule4)) -> rule7) OR ((triple5 ((((triple8 triple7 triple6) -> rule3) ((triple9 triple8 triple5) -> rule2)) -> rule4)) -> rule7) OR ((((triple8 triple7 triple6) -> rule3) ((triple5 ((triple9 triple8 triple5) -> rule2)) -> rule4)) -> rule7) OR ((((triple8 triple7 triple6) -> rule3) ((((triple8 triple7 triple6) -> rule3) ((triple9 triple8 triple5) -> rule2)) -> rule4)) -> rule7) OR ((triple5 ((triple5 ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2)) -> rule4)) -> rule7) OR ((triple5 ((((triple8 triple7 triple6) -> rule3) ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2)) -> rule4)) -> rule7) OR ((((triple8 triple7 triple6) -> rule3) ((triple5 ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2)) -> rule4)) -> rule7) OR ((((triple8 triple7 triple6) -> rule3) ((((triple8 triple7 triple6) -> rule3) ((triple9 triple8 ((triple8 triple7 triple6) -> rule3)) -> rule2)) -> rule4)) -> rule7))]