Alan is someone you could describe as young, round, cold, and blue. Bob who is considered nice was feeling rather rough today. Most people see Gary as round, albeit nice and big at the same time. Harry is both big and round, with blue features. Round, nice and young folks around here are always green. It's just a fact that a blue person is a kind person. It's always true that round, kind people are rough as well. When a round individual is nice to others, they are also feeling blue.
Bob is not green.
@0: Alan is blue.[(triple4)] Alan is cold.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is nice.[(triple6)] Bob is rough.[(triple5)] Gary is big.[(triple9)] Gary is nice.[(triple8)] Gary is round.[(triple7)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is round.[(triple10)] @1: Alan is kind.[(((triple4) -> rule2))] Gary is blue.[(((triple7 triple8) -> rule4))] Harry is kind.[(((triple11) -> rule2))] @2: Alan is rough.[(((triple2 ((triple4) -> rule2)) -> rule3))] Gary is kind.[(((((triple7 triple8) -> rule4)) -> rule2))] Harry is rough.[(((triple10 ((triple11) -> rule2)) -> rule3))] @3: Gary is rough.[(((triple7 ((((triple7 triple8) -> rule4)) -> rule2)) -> rule3))]