Bob might be rough and red but he's actually very kind. That guy Charlie sure is nice. That guy Gary sure is nice. Harry may be young but he is nice, wears green shoes and is cold. Even though young people are rough, they are still very red. One who is young, red and also cold will definitely be round, too. Cold, young people are also certain to be rough people. When somebody is red, blue and round, you can bet they are also rough.
Charlie is not red.
@0: Bob is kind.[(triple3)] Bob is red.[(triple2)] Bob is rough.[(triple1)] Charlie is nice.[(triple4)] Gary is nice.[(triple5)] Harry is cold.[(triple9)] Harry is green.[(triple8)] Harry is nice.[(triple7)] Harry is young.[(triple6)] @1: Harry is rough.[(((triple9 triple6) -> rule3))] @2: Harry is red.[(((((triple9 triple6) -> rule3) triple6) -> rule1))] @3: Harry is round.[(((triple6 ((((triple9 triple6) -> rule3) triple6) -> rule1) triple9) -> rule2))]