Charlie is kind and nice and looks green. Dave seems to be round. Gary is a kind person and he is also often cold. Harry is big, rough and red, but that's because he's often blue. Really, his is nice and kind. A person who is cold and blue is nice. A nice young person who is big can be considered round. If someone is cold and blue, you will find that they are also quite young. If a person is blue and red and big, then that person is cold.
Charlie is not red.
@0: Charlie is green.[(triple3)] Charlie is kind.[(triple2)] Charlie is nice.[(triple1)] Dave is round.[(triple4)] Gary is cold.[(triple6)] Gary is kind.[(triple5)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is kind.[(triple10)] Harry is nice.[(triple9 OR ((((triple11 triple12 triple8) -> rule4) triple11) -> rule1))] Harry is red.[(triple8)] Harry is rough.[(triple7)] @1: Harry is cold.[(((triple11 triple12 triple8) -> rule4))] @2: Harry is young.[(((triple11 ((triple11 triple12 triple8) -> rule4)) -> rule3))] @3: Harry is round.[(((triple9 triple12 ((triple11 ((triple11 triple12 triple8) -> rule4)) -> rule3)) -> rule2) OR ((((((triple11 triple12 triple8) -> rule4) triple11) -> rule1) triple12 ((triple11 ((triple11 triple12 triple8) -> rule4)) -> rule3)) -> rule2))]