Charlie is smart. Fiona is not rough. Gary is blue. Gary is smart. Gary is young. Harry is rough. Harry is young. If Gary is cold and Gary is not green then Gary is blue. If something is cold and not young then it is not red. All green, rough things are not smart. If something is blue and green then it is smart. Rough things are blue. If something is young and not red then it is blue. If something is red then it is blue. If something is smart then it is rough.
Gary is not rough.
@0: Charlie is smart.[(triple1)] Fiona is not rough.[(triple2)] Gary is blue.[(triple3 OR ((((triple4) -> rule8)) -> rule5))] Gary is smart.[(triple4)] Gary is young.[(triple5)] Harry is rough.[(triple6)] Harry is young.[(triple7)] @1: Charlie is rough.[(((triple1) -> rule8))] Gary is rough.[(((triple4) -> rule8))] Harry is blue.[(((triple6) -> rule5))] @2: Charlie is blue.[(((((triple1) -> rule8)) -> rule5))]