Bob is young and green. Even though he is round he is cold outside. That guy Eric sure is nice. That person with the super big round body wearing red and green clothes who is acting quite nice towards you while being cold and feeling blue is named Harry. If someone plays rough and is nice and round, they will be big. Any person that's blue, young and green will turn out to be a nice person, too. Someone who is currently blue, big, and cold, is also kind. If you ever meet someone who is both green and blue while being nice, then they'll be big, too. People who are young are also blue.
Eric is not kind.
@0: Bob is cold.[(triple4)] Bob is green.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Eric is nice.[(triple5)] Harry is big.[(triple12 OR ((triple9 triple11 triple8) -> rule4))] Harry is blue.[(triple11)] Harry is cold.[(triple10)] Harry is green.[(triple9)] Harry is nice.[(triple8)] Harry is red.[(triple7)] Harry is round.[(triple6)] @1: Bob is blue.[(((triple1) -> rule5))] Harry is kind.[(((triple11 triple12 triple10) -> rule3) OR ((triple11 ((triple9 triple11 triple8) -> rule4) triple10) -> rule3))] @2: Bob is nice.[(((((triple1) -> rule5) triple1 triple3) -> rule2))] @3: Bob is big.[(((triple3 ((triple1) -> rule5) ((((triple1) -> rule5) triple1 triple3) -> rule2)) -> rule4))] @4: Bob is kind.[(((((triple1) -> rule5) ((triple3 ((triple1) -> rule5) ((((triple1) -> rule5) triple1 triple3) -> rule2)) -> rule4) triple4) -> rule3))]