Most people see Bob as round, albeit nice and big at the same time. In the snow sits Charlie, crying from being cold. Dave, a green man, was also big, but underneath he was kind. They always call him rough Fred. A person who is green and rough and round is also young. Big people are also round people. On a voyage across the sea it is always the round, kind people, green with seasickness that turn red with embarrassment. When you meet someone who is round, red and green, they will also be young. Kind people,though green,are cold.
Bob is not green.
@0: Bob is big.[(triple3)] Bob is nice.[(triple2)] Bob is round.[(triple1 OR ((triple3) -> rule2))] Charlie is cold.[(triple4)] Dave is big.[(triple7)] Dave is green.[(triple6)] Dave is kind.[(triple5)] Fred is rough.[(triple8)] @1: Dave is cold.[(((triple5 triple6) -> rule5))] Dave is round.[(((triple7) -> rule2))] @2: Dave is red.[(((triple5 triple6 ((triple7) -> rule2)) -> rule3))] @3: Dave is young.[(((triple6 ((triple5 triple6 ((triple7) -> rule2)) -> rule3) ((triple7) -> rule2)) -> rule4))]