Bob lives at home with his parents who tell him he is too young to live on his own. Bob is a big blue guy with red rings around his ankles and rough patchy skin. Bob is always cold inside or out. They always call him rough Charlie. Gary is rough but nice, big but cold. Harry always goes out of his way to show that he is kind to people. When a kind person is feeling cold with red skin, they will be round as well. A human that's cold also means they are a human that is young. A human that's round, red and kind will be also be a green human. If you color the young ones blue then they will be kind. When somebody is round, kind and blue, you know they'll also be red.
Harry is rough.
@0: Bob is big.[(triple6)] Bob is blue.[(triple5)] Bob is cold.[(triple4)] Bob is red.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1 OR ((triple4) -> rule2))] Charlie is rough.[(triple7)] Gary is big.[(triple11)] Gary is cold.[(triple10)] Gary is nice.[(triple9)] Gary is rough.[(triple8)] Harry is kind.[(triple12)] @1: Bob is kind.[(((triple5 triple1) -> rule4) OR ((triple5 ((triple4) -> rule2)) -> rule4))] Gary is young.[(((triple10) -> rule2))] @2: Bob is round.[(((triple4 ((triple5 triple1) -> rule4) triple3) -> rule1) OR ((triple4 ((triple5 ((triple4) -> rule2)) -> rule4) triple3) -> rule1))] @3: Bob is green.[(((triple3 ((triple4 ((triple5 triple1) -> rule4) triple3) -> rule1) ((triple5 triple1) -> rule4)) -> rule3) OR ((triple3 ((triple4 ((triple5 triple1) -> rule4) triple3) -> rule1) ((triple5 ((triple4) -> rule2)) -> rule4)) -> rule3) OR ((triple3 ((triple4 ((triple5 ((triple4) -> rule2)) -> rule4) triple3) -> rule1) ((triple5 triple1) -> rule4)) -> rule3) OR ((triple3 ((triple4 ((triple5 ((triple4) -> rule2)) -> rule4) triple3) -> rule1) ((triple5 ((triple4) -> rule2)) -> rule4)) -> rule3))]