Bob is cold. Charlie is green. Charlie is quiet. Charlie is white. Charlie is young. Gary is quiet. Gary is white. If something is young then it is red. All white things are quiet. Quiet, young things are cold. If Gary is quiet and Gary is green then Gary is young. If something is red then it is green. If Gary is round then Gary is white. White, young things are green. If something is red then it is young.
Charlie is red.
@0: Bob is cold.[(triple1)] Charlie is green.[(triple2 OR ((triple4 triple5) -> rule7) OR ((((triple5) -> rule1)) -> rule5))] Charlie is quiet.[(triple3 OR ((triple4) -> rule2))] Charlie is white.[(triple4)] Charlie is young.[(triple5)] Gary is quiet.[(triple6 OR ((triple7) -> rule2))] Gary is white.[(triple7)] @1: Charlie is cold.[(((triple3 triple5) -> rule3) OR ((((triple4) -> rule2) triple5) -> rule3))] Charlie is red.[(((triple5) -> rule1))]