Bob discovered that even though he was round, rough, and nice and green, he was actually big. When Charlie walks around the neighborhood being nice and kind, the closer you get to him you can tell he is blue and red. Eric seems to be round. Harry seems to be round. Not a single young person is not also kind. Rough, cold people are blue. Is a kind person if feeling cold and looking red then they are usually young. Rough people who look red are cold. A nice and green man or woman is also red in color.
Bob is not red.
@0: Bob is big.[(triple5)] Bob is green.[(triple4)] Bob is nice.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Charlie is blue.[(triple9)] Charlie is kind.[(triple8)] Charlie is nice.[(triple7)] Charlie is red.[(triple6)] Eric is round.[(triple10)] Harry is round.[(triple11)] @1: Bob is red.[(((triple3 triple4) -> rule5))] @2: Bob is cold.[(((((triple3 triple4) -> rule5) triple2) -> rule4))] @3: Bob is blue.[(((triple2 ((((triple3 triple4) -> rule5) triple2) -> rule4)) -> rule2))]