Alan is a young and nice man, and he is also very big shaped. Charlie is a red fellow who habitually looks blue. He's often cold. Eric is big and dresses in blue. Harry is young, he is also red and green. Because someone is green and kind they are extremely nice to people. Big people who are red in color are often nice. A nice young person who is red is cold. A human that's round, red and kind will be also be a green human. People who are young and green are also kind.
Eric is red.
@0: Alan is big.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Charlie is blue.[(triple6)] Charlie is cold.[(triple5)] Charlie is red.[(triple4)] Eric is big.[(triple8)] Eric is blue.[(triple7)] Harry is green.[(triple11)] Harry is red.[(triple10)] Harry is young.[(triple9)] @1: Harry is kind.[(((triple9 triple11) -> rule5))] @2: Harry is nice.[(((triple11 ((triple9 triple11) -> rule5)) -> rule1))] @3: Harry is cold.[(((((triple11 ((triple9 triple11) -> rule5)) -> rule1) triple10 triple9) -> rule3))]