Alan is a red person who is round and also feels blue. Bob loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. Dave, like all young people, is nice. Gary was kind despite being rough. And because he was so big, Gary constantly felt cold. A big person who is kind but blue is cold. When someone is nice and rough they are usually red. People who are rough are young. If you meet someone who is red and blue with a round shape, you can count on them being nice to you. As someone can be round and rough, they can also be nice and kind. Find someone big, blue, and kind, and you'll see they are also quite young. If you meet somebody who is young, rough and round, you can be sure they are nice as well.
Bob is blue.
@0: Alan is blue.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is cold.[(triple6)] Bob is rough.[(triple5)] Bob is round.[(triple4)] Dave is nice.[(triple8)] Dave is young.[(triple7)] Gary is big.[(triple12)] Gary is cold.[(triple11)] Gary is kind.[(triple10)] Gary is rough.[(triple9)] @1: Alan is nice.[(((triple3 triple2 triple1) -> rule4))] Bob is young.[(((triple5) -> rule3))] Gary is young.[(((triple9) -> rule3))] @2: Bob is nice.[(((((triple5) -> rule3) triple4 triple5) -> rule7))] @3: Bob is kind.[(((((((triple5) -> rule3) triple4 triple5) -> rule7) triple4 triple5) -> rule5))] Bob is red.[(((((((triple5) -> rule3) triple4 triple5) -> rule7) triple5) -> rule2))]