Bob is a cold and round man who has red and green skin. Charlie is a kind person and he is also often cold. That guy Eric sure is nice. Harry is a really nice guy with a big round body, usually wearing red. If you meet someone with rough skin who is cold from being outside, you'll notice they are nice. Every time you meet someone kind and nice, they'll be green, too. Big people with red hair are cold because they cannot find coats that fit. It's a certainty that any green, big and kind individual is going to be nice. A big round young person is often blue. People who are round and red tend  to be rough. If a person acts cold yet nice and green, they will be kind.
Eric is not cold.
@0: Bob is cold.[(triple4)] Bob is green.[(triple3)] Bob is red.[(triple2)] Bob is round.[(triple1)] Charlie is cold.[(triple6)] Charlie is kind.[(triple5)] Eric is nice.[(triple7)] Harry is big.[(triple11)] Harry is nice.[(triple10 OR ((((triple9 triple11) -> rule3) ((triple9 triple8) -> rule6)) -> rule1))] Harry is red.[(triple9)] Harry is round.[(triple8)] @1: Bob is rough.[(((triple2 triple1) -> rule6))] Harry is cold.[(((triple9 triple11) -> rule3))] Harry is rough.[(((triple9 triple8) -> rule6))] @2: Bob is nice.[(((triple4 ((triple2 triple1) -> rule6)) -> rule1))] @3: Bob is kind.[(((((triple4 ((triple2 triple1) -> rule6)) -> rule1) triple3 triple4) -> rule7))]