Alan is a kind person and he is also often cold. Charlie may be round, but he is also kind. Eric is red and blue colored. He is cold to the touch, big and rough. Fred is a round and rough around the edges, and he is also big. If a person is described as being nice, cold and young it usually follow that they are red. Young, red people are usually quite blue too. Anyone rough in texture and young in age is a cold person. Watch out for young people that are kind for they are rough. A red, nice person will definitely be a blue person. A kind person will certainly be young. A person who is rough and young while being kind tends to be red.
Alan is not young.
@0: Alan is cold.[(triple2 OR ((((triple1 ((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule3))] Alan is kind.[(triple1)] Charlie is kind.[(triple4)] Charlie is round.[(triple3)] Eric is big.[(triple9)] Eric is blue.[(triple8)] Eric is cold.[(triple7)] Eric is red.[(triple6)] Eric is rough.[(triple5)] Fred is big.[(triple12)] Fred is rough.[(triple11)] Fred is round.[(triple10)] @1: Alan is young.[(((triple1) -> rule6))] Charlie is young.[(((triple4) -> rule6))] @2: Alan is rough.[(((triple1 ((triple1) -> rule6)) -> rule4))] Charlie is rough.[(((triple4 ((triple4) -> rule6)) -> rule4))] @3: Alan is red.[(((triple1 ((triple1 ((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule7))] Charlie is cold.[(((((triple4 ((triple4) -> rule6)) -> rule4) ((triple4) -> rule6)) -> rule3))] Charlie is red.[(((triple4 ((triple4 ((triple4) -> rule6)) -> rule4) ((triple4) -> rule6)) -> rule7))] @4: Alan is blue.[(((((triple1 ((triple1 ((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule7) ((triple1) -> rule6)) -> rule2))] Charlie is blue.[(((((triple4 ((triple4 ((triple4) -> rule6)) -> rule4) ((triple4) -> rule6)) -> rule7) ((triple4) -> rule6)) -> rule2))]