Bob is not kind. Charlie is not white. Fiona is kind. Gary is rough. Rough, round things are cold. Red, kind things are cold. If Charlie is kind and Charlie is white then Charlie is cold. If something is cold and round then it is white. Rough things are round. All white things are round. White, round things are red. If something is cold and not rough then it is kind.
Charlie is round.
@0: Bob is not kind.[(triple1)] Charlie is not white.[(triple2)] Fiona is kind.[(triple3)] Gary is rough.[(triple4)] @1: Gary is round.[(((triple4) -> rule5))] @2: Gary is cold.[(((triple4 ((triple4) -> rule5)) -> rule1))] @3: Gary is white.[(((((triple4 ((triple4) -> rule5)) -> rule1) ((triple4) -> rule5)) -> rule4))] @4: Gary is red.[(((((((triple4 ((triple4) -> rule5)) -> rule1) ((triple4) -> rule5)) -> rule4) ((triple4) -> rule5)) -> rule7))]