Because Alan is so young, he is rough and cold when he can be round instead. Young Dave is quite nice, and because he is so round can be considered quite big. Gary can be rather rough, but surprisingly loves the green. He can be rather blue, and is unusually big. Soon you will understand that big people are nice. Anyone who is round and also cold will surely be big as well. People who are nice and rough are looked at as kind. If you meet a young and kind person who is also rough, they are cold, too.
Alan is not kind.
@0: Alan is cold.[(triple4)] Alan is rough.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Dave is big.[(triple8)] Dave is nice.[(triple7 OR ((triple8) -> rule1))] Dave is round.[(triple6)] Dave is young.[(triple5)] Gary is big.[(triple12)] Gary is blue.[(triple11)] Gary is green.[(triple10)] Gary is rough.[(triple9)] @1: Alan is big.[(((triple2 triple4) -> rule2))] Gary is nice.[(((triple12) -> rule1))] @2: Alan is nice.[(((((triple2 triple4) -> rule2)) -> rule1))] Gary is kind.[(((((triple12) -> rule1) triple9) -> rule3))] @3: Alan is kind.[(((((((triple2 triple4) -> rule2)) -> rule1) triple3) -> rule3))]