Alan may be round, but he is also kind. Bob is a kind person and he is also often cold. Even though Fred is round and big, he is very kind. Harry is young and green. This makes him cold to others. Young people are so rough that they can hold their breath until they are blue. Young and rough people will most certainly be red. Jan is nice and rough, she can be blue in the winter which makes her cold. Cold, young people are also certain to be rough people. Rough people who look red are cold. A person who is cold and red and blue is big. If a person is blue and red and big, then that person is cold.
Alan is not rough.
@0: Alan is kind.[(triple2)] Alan is round.[(triple1)] Bob is cold.[(triple4)] Bob is kind.[(triple3)] Fred is big.[(triple7)] Fred is kind.[(triple6)] Fred is round.[(triple5)] Harry is cold.[(triple10)] Harry is green.[(triple9)] Harry is young.[(triple8)] @1: Harry is rough.[(((triple10 triple8) -> rule4))] @2: Harry is blue.[(((((triple10 triple8) -> rule4) triple8) -> rule1))] Harry is red.[(((triple8 ((triple10 triple8) -> rule4)) -> rule2))] @3: Harry is big.[(((((triple8 ((triple10 triple8) -> rule4)) -> rule2) ((((triple10 triple8) -> rule4) triple8) -> rule1) triple10) -> rule6))]