Bob, a green man, was also big, but underneath he was kind. Young Dave who is nice and kind is feeling red, green and blue today. Fred is big and dresses in blue. Harry was born only a few years ago so he is young. Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others. A green, inexperienced person with a round shape who is kind to others gets very red when in the sun. All the big and young boys at the park are red. A round shaped and red person is definitely nice. If a person that is blue and green is also cold, that means that they are young. Nice people who are kind, despite their rough skin, are big hearted. A nice person who is downhearted, blue, and green with envy is rough.
Dave is rough.
@0: Bob is big.[(triple3)] Bob is green.[(triple2)] Bob is kind.[(triple1)] Dave is blue.[(triple9)] Dave is green.[(triple8)] Dave is kind.[(triple7)] Dave is nice.[(triple6)] Dave is red.[(triple5 OR ((((triple7 triple6 ((triple6 triple9 triple8) -> rule7)) -> rule6) triple4) -> rule3) OR ((((triple7 triple6 ((triple6 triple9 triple8) -> rule7)) -> rule6) ((((((triple6 triple9 triple8) -> rule7) ((triple7 triple6 ((triple6 triple9 triple8) -> rule7)) -> rule6) triple6) -> rule1) triple9 triple8) -> rule5)) -> rule3))] Dave is young.[(triple4 OR ((((((triple6 triple9 triple8) -> rule7) ((triple7 triple6 ((triple6 triple9 triple8) -> rule7)) -> rule6) triple6) -> rule1) triple9 triple8) -> rule5))] Fred is big.[(triple11)] Fred is blue.[(triple10)] Harry is young.[(triple12)] @1: Dave is rough.[(((triple6 triple9 triple8) -> rule7))] @2: Dave is big.[(((triple7 triple6 ((triple6 triple9 triple8) -> rule7)) -> rule6))] @3: Dave is cold.[(((((triple6 triple9 triple8) -> rule7) ((triple7 triple6 ((triple6 triple9 triple8) -> rule7)) -> rule6) triple6) -> rule1))]