Alan gets red when he is mad and tends to act very cold. Charlie happens to be a big man who is very nice and kind. he has one green eye and the other one is blue. Eric is a kind and red colored guy. That man standing next to you with a big round body goes by the name of Fred. People who are big and kind are also round. A kind red person is also a blue person. A green colored, nice and young person will be big shaped. People who are blue and green are nice. When somebody is round, kind and blue, you know they'll also be red. People that are red and blue and green at the same time have a reason to be cold. Young,cold and blue people are mostly round.
Charlie is not red.
@0: Alan is cold.[(triple2)] Alan is red.[(triple1)] Charlie is big.[(triple7)] Charlie is blue.[(triple6)] Charlie is green.[(triple5)] Charlie is kind.[(triple4)] Charlie is nice.[(triple3 OR ((triple6 triple5) -> rule4))] Eric is kind.[(triple9)] Eric is red.[(triple8)] Fred is big.[(triple11)] Fred is round.[(triple10)] @1: Charlie is round.[(((triple4 triple7) -> rule1))] Eric is blue.[(((triple9 triple8) -> rule2))] @2: Charlie is red.[(((((triple4 triple7) -> rule1) triple4 triple6) -> rule5))] @3: Charlie is cold.[(((((((triple4 triple7) -> rule1) triple4 triple6) -> rule5) triple6 triple5) -> rule6))]