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