Young Alan is quite nice, and because he is so round can be considered quite big. Bob gets red when he is mad and tends to act very cold. Eric fits the description of someone who is rough, red and blue. Harry ate some rotten meat and now feels green. If a person is blue, rough, and green, then they are also big. Cold, red people are generally kind and big. Big, rough people sometimes are also green and when they are they must be cold. It's been proven that red, rough people are green as well. A quite nice person will certainly be red. People who are described as young, green, and big are often considered rough.
Eric is not cold.
@0: Alan is big.[(triple4)] Alan is nice.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is cold.[(triple6)] Bob is red.[(triple5)] Eric is blue.[(triple9)] Eric is red.[(triple8)] Eric is rough.[(triple7)] Harry is green.[(triple10)] @1: Alan is red.[(((triple3) -> rule5))] Eric is green.[(((triple8 triple7) -> rule4))] @2: Eric is big.[(((triple9 triple7 ((triple8 triple7) -> rule4)) -> rule1))] @3: Eric is cold.[(((triple7 ((triple9 triple7 ((triple8 triple7) -> rule4)) -> rule1) ((triple8 triple7) -> rule4)) -> rule3))]