Bob is young and green, and seems to be cold and rough, but time will round him into a decent person. That guy Charlie sure is nice. That guy Dave sure is nice. Eric is a really nice guy with a big round body, usually wearing red. Big people with red hair are cold because they cannot find coats that fit. Do not fear big cold people for they are often kind. Every person I met that was cold and round was also red. If you ever meet someone who is both green and blue while being nice, then they'll be big, too. Is a kind person if feeling cold and looking red then they are usually young. Young and red people look round.
Eric is not kind.
@0: Bob is cold.[(triple5)] Bob is green.[(triple4)] Bob is rough.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Charlie is nice.[(triple6)] Dave is nice.[(triple7)] Eric is big.[(triple11)] Eric is nice.[(triple10)] Eric is red.[(triple9)] Eric is round.[(triple8 OR ((((((triple9 triple11) -> rule1) triple9 ((((triple9 triple11) -> rule1) triple11) -> rule2)) -> rule5) triple9) -> rule6))] @1: Bob is red.[(((triple5 triple2) -> rule3))] Eric is cold.[(((triple9 triple11) -> rule1))] @2: Eric is kind.[(((((triple9 triple11) -> rule1) triple11) -> rule2))] @3: Eric is young.[(((((triple9 triple11) -> rule1) triple9 ((((triple9 triple11) -> rule1) triple11) -> rule2)) -> rule5))]