Charlie is white. Dave is not white. Erin is cold. Erin is green. Erin is white. Gary is kind. Gary is white. All white, round things are not rough. Furry, kind things are rough. All green, round things are kind. If something is rough and not furry then it is kind. All furry things are kind. Furry, kind things are cold. All green things are cold. If something is kind and white then it is round.
Erin is green.
@0: Charlie is white.[(triple1)] Dave is not white.[(triple2)] Erin is cold.[(triple3 OR ((triple4) -> rule7))] Erin is green.[(triple4)] Erin is white.[(triple5)] Gary is kind.[(triple6)] Gary is white.[(triple7)] @1: Gary is round.[(((triple6 triple7) -> rule8))] @2: Gary is not rough.[(((triple7 ((triple6 triple7) -> rule8)) -> rule1))]