Alan is rough but very kind, he is also red in color and young in age. Red Bob is what folks call him, because he is quite red. Charlie was looking rather round and feeling rather cold, but people thought he is kind. Others enjoy Gary's company because he is so nice and kind. Whoever is rough and red must be kind. When a young person has a round shape and feels blue, they will be green as well. A cold and young aged person will be big for sure. If a human is both young and kind, they are also cold. Big people that have a rough demeanor usually feel blue. When you know someone who's red, rough and nice, you'll also see that they're cold. A cold temperatured and rough person who is also green will be big shaped.
Alan is not blue.
@0: Alan is kind.[(triple4 OR ((triple2 triple3) -> rule1))] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Bob is red.[(triple5)] Charlie is cold.[(triple8)] Charlie is kind.[(triple7)] Charlie is round.[(triple6)] Gary is kind.[(triple10)] Gary is nice.[(triple9)] @1: Alan is cold.[(((triple1 triple4) -> rule4) OR ((triple1 ((triple2 triple3) -> rule1)) -> rule4))] @2: Alan is big.[(((triple1 ((triple1 triple4) -> rule4)) -> rule3) OR ((triple1 ((triple1 ((triple2 triple3) -> rule1)) -> rule4)) -> rule3))] @3: Alan is blue.[(((((triple1 ((triple1 triple4) -> rule4)) -> rule3) triple2) -> rule5) OR ((((triple1 ((triple1 ((triple2 triple3) -> rule1)) -> rule4)) -> rule3) triple2) -> rule5))]