Young Bob is quite nice, and because he is so round can be considered quite big. In the snow sits Fred, crying from being cold. Gary always goes out of his way to show that he is kind to people. Harry can be cold and rough, but also can be nice and kind. Either way, he's big and round. Young people who wear red lipstick are certainly kind. You'll always find a young, kind and red person to be a cold person, too. Young people tend to be blue all the time and rough. If someone is kind to others and cold to others as well as being red faced then you'll find that they often have a round body. A quite nice person will certainly be red. Because of circulation issues big people are often cold. If they are also green then they are certainly young. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Bob is not kind.
@0: Bob is big.[(triple4)] Bob is nice.[(triple3)] Bob is round.[(triple2 OR ((((((triple3) -> rule5) triple1) -> rule1) ((((((triple3) -> rule5) triple1) -> rule1) triple1 ((triple3) -> rule5)) -> rule2) ((triple3) -> rule5)) -> rule4))] Bob is young.[(triple1)] Fred is cold.[(triple5)] Gary is kind.[(triple6)] Harry is big.[(triple12)] Harry is cold.[(triple11)] Harry is kind.[(triple10)] Harry is nice.[(triple9)] Harry is rough.[(triple8)] Harry is round.[(triple7 OR ((triple10 triple11 ((triple9) -> rule5)) -> rule4))] @1: Bob is red.[(((triple3) -> rule5))] Harry is red.[(((triple9) -> rule5))] @2: Bob is kind.[(((((triple3) -> rule5) triple1) -> rule1))] @3: Bob is cold.[(((((((triple3) -> rule5) triple1) -> rule1) triple1 ((triple3) -> rule5)) -> rule2))]