Bob is big and rough. In the snow sits Charlie, crying from being cold. When you first meet Dave you know he is young and big, but later you find out he is also, incredibly kind, cold and rough. Because someone is green and kind they are extremely nice to people. When someone is nice and rough they are usually red. A nice and blue person who's also red will be a rough person. Show me someone who is cold and kind, and I'll show you how green they are. Big people, round in the middle and having rough skin are nice because they know what it's like to be made fun of. Kind people who are also rough are young. Ifa blue and green colored person is rough then they must be big shaped.
Bob is not cold.
@0: Bob is big.[(triple2)] Bob is rough.[(triple1)] Charlie is cold.[(triple3)] Dave is big.[(triple8)] Dave is cold.[(triple7)] Dave is kind.[(triple6)] Dave is rough.[(triple5)] Dave is young.[(triple4 OR ((triple5 triple6) -> rule6))] @1: Dave is green.[(((triple7 triple6) -> rule4))] @2: Dave is nice.[(((((triple7 triple6) -> rule4) triple6) -> rule1))] @3: Dave is red.[(((((((triple7 triple6) -> rule4) triple6) -> rule1) triple5) -> rule2))]