Charlie is smart. All smart people are young. All smart people are young. Rough people are not quiet. All young people are rough. All red people are rough. If someone is green then they are not smart.
Charlie is quiet.
@0: Charlie is smart.[(triple1)] @1: Charlie is young.[(((triple1) -> rule1) OR ((triple1) -> rule2))] @2: Charlie is rough.[(((((triple1) -> rule1)) -> rule4) OR ((((triple1) -> rule2)) -> rule4))] @3: Charlie is not quiet.[(((((((triple1) -> rule1)) -> rule4)) -> rule3) OR ((((((triple1) -> rule2)) -> rule4)) -> rule3))]