Charlie is quiet. Charlie is rough. Charlie is round. If something is red then it is smart. If something is smart and young then it is rough. All cold, quiet things are young. If something is round then it is smart. All red things are cold. All smart, red things are round. All quiet things are round. Smart things are cold.
Charlie is smart.
@0: Charlie is quiet.[(triple1)] Charlie is rough.[(triple2 OR ((((triple3) -> rule4) ((((((triple3) -> rule4)) -> rule8) triple1) -> rule3)) -> rule2) OR ((((((triple1) -> rule7)) -> rule4) ((((((triple3) -> rule4)) -> rule8) triple1) -> rule3)) -> rule2) OR ((((triple3) -> rule4) ((((((((triple1) -> rule7)) -> rule4)) -> rule8) triple1) -> rule3)) -> rule2) OR ((((((triple1) -> rule7)) -> rule4) ((((((((triple1) -> rule7)) -> rule4)) -> rule8) triple1) -> rule3)) -> rule2))] Charlie is round.[(triple3 OR ((triple1) -> rule7))] @1: Charlie is smart.[(((triple3) -> rule4) OR ((((triple1) -> rule7)) -> rule4))] @2: Charlie is cold.[(((((triple3) -> rule4)) -> rule8) OR ((((((triple1) -> rule7)) -> rule4)) -> rule8))] @3: Charlie is young.[(((((((triple3) -> rule4)) -> rule8) triple1) -> rule3) OR ((((((((triple1) -> rule7)) -> rule4)) -> rule8) triple1) -> rule3))]