Charlie is cold. Charlie is furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is smart. Cold things are green. If Charlie is furry then Charlie is smart. Furry, round things are quiet.
Charlie is cold.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3 OR ((triple1) -> rule1))] Charlie is nice.[(triple4)] Charlie is quiet.[(triple5 OR ((triple2 triple6) -> rule3))] Charlie is round.[(triple6)] Charlie is smart.[(triple7 OR ((triple2) -> rule2))]