Charlie is cold. Charlie is green. Charlie is smart. If Charlie is rough then Charlie is smart. If someone is rough and round then they are smart. Cold people are quiet. Quiet, green people are rough. If someone is quiet then they are smart. All cold, smart people are rough. All rough, round people are smart. All cold people are quiet.
Charlie is young.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is smart.[(triple3 OR ((((triple1) -> rule3)) -> rule5) OR ((((triple1) -> rule8)) -> rule5) OR ((((((triple1) -> rule3) triple2) -> rule4)) -> rule1) OR ((((((triple1) -> rule8) triple2) -> rule4)) -> rule1))] @1: Charlie is quiet.[(((triple1) -> rule3) OR ((triple1) -> rule8))] Charlie is rough.[(((triple1 triple3) -> rule6) OR ((((triple1) -> rule3) triple2) -> rule4) OR ((((triple1) -> rule8) triple2) -> rule4) OR ((triple1 ((((triple1) -> rule3)) -> rule5)) -> rule6) OR ((triple1 ((((triple1) -> rule8)) -> rule5)) -> rule6))]