Charlie is furry. Charlie is smart. Fiona is rough. Fiona is smart. Gary is smart. Harry is quiet. Harry is smart. If something is cold and furry then it is rough. All furry things are young. White, rough things are cold. If something is rough and young then it is white. If something is smart and white then it is quiet. If something is rough and quiet then it is smart. If something is young then it is cold. If Harry is white then Harry is smart. If Harry is young then Harry is rough.
Charlie is cold.
@0: Charlie is furry.[(triple1)] Charlie is smart.[(triple2)] Fiona is rough.[(triple3)] Fiona is smart.[(triple4)] Gary is smart.[(triple5)] Harry is quiet.[(triple6)] Harry is smart.[(triple7)] @1: Charlie is young.[(((triple1) -> rule2))] @2: Charlie is cold.[(((((triple1) -> rule2)) -> rule7))] @3: Charlie is rough.[(((((((triple1) -> rule2)) -> rule7) triple1) -> rule1))] @4: Charlie is white.[(((((((((triple1) -> rule2)) -> rule7) triple1) -> rule1) ((triple1) -> rule2)) -> rule4))] @5: Charlie is quiet.[(((triple2 ((((((((triple1) -> rule2)) -> rule7) triple1) -> rule1) ((triple1) -> rule2)) -> rule4)) -> rule5))]