Young Alan here is always rough but nice and yes he is big. Bob is green, but often kind, even when he is blue and cold. Gary is green and cold too. Harry is a kind person and he is also often cold. A nice, young, cold guy or girl will be a kind guy or girl, as well. Anyone rough in texture and young in age is a cold person. People who are said to be big and nice are round. A kind young person who is green will be cold. Any red sort of person is a nice person. A person who is rough and young while being kind tends to be red.
Alan is not kind.
@0: Alan is big.[(triple4)] Alan is nice.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Bob is blue.[(triple8)] Bob is cold.[(triple7)] Bob is green.[(triple6)] Bob is kind.[(triple5)] Gary is cold.[(triple10)] Gary is green.[(triple9)] Harry is cold.[(triple12)] Harry is kind.[(triple11)] @1: Alan is cold.[(((triple2 triple1) -> rule2))] Alan is round.[(((triple4 triple3) -> rule3))] @2: Alan is kind.[(((triple3 triple1 ((triple2 triple1) -> rule2)) -> rule1))] @3: Alan is red.[(((((triple3 triple1 ((triple2 triple1) -> rule2)) -> rule1) triple2 triple1) -> rule6))]