Charlie is cold. Charlie is furry. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Charlie is young. Furry, smart things are white. If something is furry and not round then it is not white. If something is white then it is furry. If something is round then it is furry. Smart, cold things are young. If Charlie is round then Charlie is white.
Charlie is furry.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2 OR ((triple4) -> rule4) OR ((triple6) -> rule3) OR ((((triple4) -> rule6)) -> rule3))] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Charlie is smart.[(triple5)] Charlie is white.[(triple6 OR ((triple4) -> rule6) OR ((triple2 triple5) -> rule1) OR ((((triple4) -> rule4) triple5) -> rule1))] Charlie is young.[(triple7 OR ((triple5 triple1) -> rule5))]