Bob is known to be rough and green. As much as Charlie is nice, he is also cold and often feels blue. Even though he's a big dude, Fred is cold. Whoever is rough and red must be kind. Anyone that's rough and cold is also going to be blue. Kind and blue people,though young,tend to be big. People,though rough and red,tend to be cold too. Blue people who are big tend to be rough. You will discover that green rough people are always red. Someone who's young and frosty cold are actually very nice.
Fred is not young.
@0: Bob is green.[(triple2)] Bob is rough.[(triple1)] Charlie is blue.[(triple5)] Charlie is cold.[(triple4)] Charlie is nice.[(triple3)] Fred is big.[(triple7)] Fred is cold.[(triple6)] @1: Bob is red.[(((triple2 triple1) -> rule6))] @2: Bob is cold.[(((triple1 ((triple2 triple1) -> rule6)) -> rule4))] Bob is kind.[(((triple1 ((triple2 triple1) -> rule6)) -> rule1))] @3: Bob is blue.[(((((triple1 ((triple2 triple1) -> rule6)) -> rule4) triple1) -> rule2))]