Charlie is rough. Charlie is smart. Charlie is white. White things are big. Round, rough things are cold. If Charlie is white then Charlie is green. Smart, big things are round. If something is cold then it is round. All rough, cold things are round. All rough things are smart. If something is rough and white then it is big.
Charlie is not big.
@0: Charlie is rough.[(triple1)] Charlie is smart.[(triple2 OR ((triple1) -> rule7))] Charlie is white.[(triple3)] @1: Charlie is big.[(((triple3) -> rule1) OR ((triple1 triple3) -> rule8))] Charlie is green.[(((triple3) -> rule3))] @2: Charlie is round.[(((triple2 ((triple3) -> rule1)) -> rule4) OR ((triple2 ((triple1 triple3) -> rule8)) -> rule4) OR ((((triple1) -> rule7) ((triple3) -> rule1)) -> rule4) OR ((((triple1) -> rule7) ((triple1 triple3) -> rule8)) -> rule4))] @3: Charlie is cold.[(((((triple2 ((triple3) -> rule1)) -> rule4) triple1) -> rule2) OR ((((triple2 ((triple1 triple3) -> rule8)) -> rule4) triple1) -> rule2) OR ((((((triple1) -> rule7) ((triple3) -> rule1)) -> rule4) triple1) -> rule2) OR ((((((triple1) -> rule7) ((triple1 triple3) -> rule8)) -> rule4) triple1) -> rule2))]