Bob is blue. Charlie is kind. Charlie is round. Charlie is smart. Gary is red. Gary is rough. Harry is furry. If something is round and furry then it is kind. Rough, smart things are red. If something is furry then it is round.
Bob is not blue.
@0: Bob is blue.[(triple1)] Charlie is kind.[(triple2)] Charlie is round.[(triple3)] Charlie is smart.[(triple4)] Gary is red.[(triple5)] Gary is rough.[(triple6)] Harry is furry.[(triple7)] @1: Harry is round.[(((triple7) -> rule3))] @2: Harry is kind.[(((((triple7) -> rule3) triple7) -> rule1))]