Alan is young in age, round in form, wears blue and is rough. Gary has been blue because he's green with envy. You will find Harry to be young and rough but he is also quite nice and sometimes feels green, cold and blue. Some who is round in shape, but who is also cold and kind is often always nice. Kind and round people are often cold to people. Somebody that is green, young and big is also going to be round. Red people,though round,are quite big. A nice person who is also round will always be big. If a person is both rough and round, you know they are also red. All rough people are big in some way.
Alan is kind.
@0: Alan is blue.[(triple4)] Alan is rough.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Gary is blue.[(triple6)] Gary is green.[(triple5)] Harry is blue.[(triple12)] Harry is cold.[(triple11)] Harry is green.[(triple10)] Harry is nice.[(triple9)] Harry is rough.[(triple8)] Harry is young.[(triple7)] @1: Alan is big.[(((triple3) -> rule7) OR ((((triple3 triple2) -> rule6) triple2) -> rule4))] Alan is red.[(((triple3 triple2) -> rule6))] Harry is big.[(((triple8) -> rule7))] @2: Harry is round.[(((triple10 ((triple8) -> rule7) triple7) -> rule3))] @3: Harry is red.[(((triple8 ((triple10 ((triple8) -> rule7) triple7) -> rule3)) -> rule6))]