Alan is big and round, with rosy red skin. He works outside and is cold but is always kind. Young Charlie got into a fight that left him with red sores on his face. Dave always goes out of his way to show that he is kind to people. Gary, a round shaped individual is nice to others.  He is red and green. People that are big and cold are blue as well. Nice, green people that are somewhat round are big through the shoulders. A cold and blue appearing person will be young as well. Someone being both nice and kind means that they are a big person. A nice big person who is also round is going to be cold. You can see that cold, blue people are round in shape. A person that is both nice and young will also be cold.
Alan is not nice.
@0: Alan is big.[(triple5)] Alan is cold.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1 OR ((triple4 ((triple5 triple4) -> rule1)) -> rule6))] Charlie is red.[(triple7)] Charlie is young.[(triple6)] Dave is kind.[(triple8)] Gary is green.[(triple12)] Gary is nice.[(triple11)] Gary is red.[(triple10)] Gary is round.[(triple9)] @1: Alan is blue.[(((triple5 triple4) -> rule1))] Gary is big.[(((triple12 triple11 triple9) -> rule2))] @2: Alan is young.[(((triple4 ((triple5 triple4) -> rule1)) -> rule3))] Gary is cold.[(((triple9 ((triple12 triple11 triple9) -> rule2) triple11) -> rule5))] @3: Gary is blue.[(((((triple12 triple11 triple9) -> rule2) ((triple9 ((triple12 triple11 triple9) -> rule2) triple11) -> rule5)) -> rule1))] @4: Gary is young.[(((((triple9 ((triple12 triple11 triple9) -> rule2) triple11) -> rule5) ((((triple12 triple11 triple9) -> rule2) ((triple9 ((triple12 triple11 triple9) -> rule2) triple11) -> rule5)) -> rule1)) -> rule3))]