Alan always goes out of his way to show that he is kind to people. Bob was born only a few years ago so he is young. Charlie is too young to be so big. Some say he is too green to be so blue as well. Gary is a cold young man. He is prone the being blue with sadness because he is green with envy. Cold people,though green and red,tend to be rough. A kind and green person who is rough around the edges is cold. A big person in size will definitely be rough. Someone big and rough in shape is always kind. Among the green people who are young, the color blue is always part of them. A big, nice, blue person is likely to be young. A person with the qualities of being cold and being red will also be a person that is green.
Charlie is kind.
@0: Alan is kind.[(triple1)] Bob is young.[(triple2)] Charlie is big.[(triple6)] Charlie is blue.[(triple5 OR ((triple4 triple3) -> rule5))] Charlie is green.[(triple4)] Charlie is young.[(triple3)] Gary is blue.[(triple10 OR ((triple8 triple7) -> rule5))] Gary is cold.[(triple9)] Gary is green.[(triple8)] Gary is young.[(triple7)] @1: Charlie is rough.[(((triple6) -> rule3))] @2: Charlie is kind.[(((triple6 ((triple6) -> rule3)) -> rule4))] @3: Charlie is cold.[(((triple4 ((triple6) -> rule3) ((triple6 ((triple6) -> rule3)) -> rule4)) -> rule2))]