Bob is rough. Charlie is blue. Charlie is quiet. Erin is nice. Erin is quiet. Harry is blue. Harry is quiet. All red, nice things are blue. All rough, quiet things are nice. If Charlie is quiet then Charlie is young. All nice things are blue. All blue things are quiet. If Erin is blue and Erin is smart then Erin is rough. Red things are quiet. If something is blue and nice then it is rough.
Charlie is smart.
@0: Bob is rough.[(triple1)] Charlie is blue.[(triple2)] Charlie is quiet.[(triple3 OR ((triple2) -> rule5))] Erin is nice.[(triple4)] Erin is quiet.[(triple5 OR ((((triple4) -> rule4)) -> rule5))] Harry is blue.[(triple6)] Harry is quiet.[(triple7 OR ((triple6) -> rule5))] @1: Charlie is young.[(((triple3) -> rule3) OR ((((triple2) -> rule5)) -> rule3))] Erin is blue.[(((triple4) -> rule4))] @2: Erin is rough.[(((((triple4) -> rule4) triple4) -> rule8))]