Bob, who is nice and kind, can also be thought of as cold and rough. Dave is blue and cold. Big Fred is still young so it's easy for him to be kind. Gary is big and rough. Kind young people are red. Soon you will understand that big people are nice. A nice young person who is rough around the edges is big. Red, young people are for the most part round too. A round and blue individual will also be a cold individual. Kind people, for example, like the ones at the bank are always blue.
Fred is not green.
@0: Bob is cold.[(triple4)] Bob is kind.[(triple3)] Bob is nice.[(triple2)] Bob is rough.[(triple1)] Dave is blue.[(triple6)] Dave is cold.[(triple5)] Fred is big.[(triple9)] Fred is kind.[(triple8)] Fred is young.[(triple7)] Gary is big.[(triple11)] Gary is rough.[(triple10)] @1: Bob is blue.[(((triple3) -> rule6))] Fred is blue.[(((triple8) -> rule6))] Fred is nice.[(((triple9) -> rule2))] Fred is red.[(((triple8 triple7) -> rule1))] Gary is nice.[(((triple11) -> rule2))] @2: Fred is round.[(((((triple8 triple7) -> rule1) triple7) -> rule4))] @3: Fred is cold.[(((((((triple8 triple7) -> rule1) triple7) -> rule4) ((triple8) -> rule6)) -> rule5))]