I know Bob really well and you can say he is rough on the outside, cold on the inside and red all of the time. When you see Fred, you will notice he is cold, big and kind. Gary is rough around the edges, but he's often blue and always nice. Harry is very nice to people, but he's also rather big. Soon you will understand that big people are nice. A person who is cold but red, and big in size is young for sure. Big and round people who arent cold, tend to be very kind. Anyone that is a red, nice soul will be big, too. If someone is green skinned and has a big nose then you'll find that they often are nice to their family. Red and kind people always seem to be big as well. I bet you didn't know that nice, kind, cold people happen to be red.
Harry is not blue.
@0: Bob is cold.[(triple3)] Bob is red.[(triple2)] Bob is rough.[(triple1)] Fred is big.[(triple6)] Fred is cold.[(triple5)] Fred is kind.[(triple4)] Gary is blue.[(triple9)] Gary is nice.[(triple8)] Gary is rough.[(triple7)] Harry is big.[(triple11)] Harry is nice.[(triple10 OR ((triple11) -> rule1))] @1: Fred is nice.[(((triple6) -> rule1))] @2: Fred is red.[(((((triple6) -> rule1) triple4 triple5) -> rule7))] @3: Fred is young.[(((((((triple6) -> rule1) triple4 triple5) -> rule7) triple6 triple5) -> rule2))]