Alan is very nice to people, but he's also rather big. Young Bob is wearing green pants. Dave looks big and is kind with red hair and green shoes. Because Harry is so young, he is rough and cold when he can be round instead. A person who's big and kind will also be cold. People who are nice, round and wearing blue will have red cheeks. Any green person is a round person. A kind, cold, round person will be nice in addition. Nice people who are looking green and seeing red usually feel rather rough.
Dave is blue.
@0: Alan is big.[(triple2)] Alan is nice.[(triple1)] Bob is green.[(triple4)] Bob is young.[(triple3)] Dave is big.[(triple8)] Dave is green.[(triple7)] Dave is kind.[(triple6)] Dave is red.[(triple5)] Harry is cold.[(triple12)] Harry is rough.[(triple11)] Harry is round.[(triple10)] Harry is young.[(triple9)] @1: Bob is round.[(((triple4) -> rule3))] Dave is cold.[(((triple8 triple6) -> rule1))] Dave is round.[(((triple7) -> rule3))] @2: Dave is nice.[(((((triple8 triple6) -> rule1) ((triple7) -> rule3) triple6) -> rule4))] @3: Dave is rough.[(((((((triple8 triple6) -> rule1) ((triple7) -> rule3) triple6) -> rule4) triple7 triple5) -> rule5))]