Young Alan is wearing green pants. Big Charlie is nice and red with sunburn and green hair. Eric, who is young, nice, green, and blue, is also rather big shaped. In the snow sits Harry, crying from being cold. A person who is described as young and cold, but also described as rough is nice. People who are young and green are also kind. If somebody has the characteristics of being blue, rough and green, they are also going to be cold. A blue individual that is kind and nice to others also has a rough appearance.
Eric is not cold.
@0: Alan is green.[(triple2)] Alan is young.[(triple1)] Charlie is big.[(triple6)] Charlie is green.[(triple5)] Charlie is nice.[(triple4)] Charlie is red.[(triple3)] Eric is big.[(triple11)] Eric is blue.[(triple10)] Eric is green.[(triple9)] Eric is nice.[(triple8)] Eric is young.[(triple7)] Harry is cold.[(triple12)] @1: Alan is kind.[(((triple1 triple2) -> rule2))] Eric is kind.[(((triple7 triple9) -> rule2))] @2: Eric is rough.[(((((triple7 triple9) -> rule2) triple10 triple8) -> rule4))] @3: Eric is cold.[(((triple10 ((((triple7 triple9) -> rule2) triple10 triple8) -> rule4) triple9) -> rule3))]