Bob is a big guy who is colored red from a sunburn. He also has a cold. Dave can be kind but he will talks so much his face turns blue. He is usually red and round other than that. Gary is green and cold too. Anybody young person covered in blue and green will be kind. Young and rough people will most certainly be red. Anyone feeling cold is bound to act nice. Round young people, red with loveliness, are very cold towards others. An individual with the traits of being nice, red, and cold is also round. When you run into someone who is rough and green at the same time, they will also be red. People who are round and behave in a cold way are surely blue.
Bob is not round.
@0: Bob is big.[(triple3)] Bob is cold.[(triple2)] Bob is red.[(triple1)] Dave is blue.[(triple7)] Dave is kind.[(triple6)] Dave is red.[(triple5)] Dave is round.[(triple4)] Gary is cold.[(triple9)] Gary is green.[(triple8)] @1: Bob is nice.[(((triple2) -> rule3))] Gary is nice.[(((triple9) -> rule3))] @2: Bob is round.[(((((triple2) -> rule3) triple1 triple2) -> rule5))] @3: Bob is blue.[(((((((triple2) -> rule3) triple1 triple2) -> rule5) triple2) -> rule7))]