Although Bob is seen as nice and round, his days of playing football have made him quite rough. Dave always goes out of his way to show that he is kind to people. As much as Fred is nice, he is also cold and often feels blue. Blue and green Harry is so kind he snowplows the neighbors driveways and everyone thanks him with beer. Someone who looks rough and feels cold is also kind to others. Fat, round people who are green with envy and notoriously rough. A rough and kind person is big. Someone can be young, big, and cold but green. Blue and red people who are young always have rough skin. A person who is round and nice is cold.
Fred is not rough.
@0: Bob is nice.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Dave is kind.[(triple4)] Fred is blue.[(triple7)] Fred is cold.[(triple6)] Fred is nice.[(triple5)] Harry is blue.[(triple10)] Harry is green.[(triple9)] Harry is kind.[(triple8)] @1: Bob is cold.[(((triple3 triple1) -> rule6))] @2: Bob is kind.[(((triple2 ((triple3 triple1) -> rule6)) -> rule1))] @3: Bob is big.[(((((triple2 ((triple3 triple1) -> rule6)) -> rule1) triple2) -> rule3))]