Charlie is cold. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. Charlie is young. If someone is furry and quiet then they are cold. Round people are furry.
Charlie is cold.
@0: Charlie is cold.[(triple1 OR ((triple2 triple4) -> rule1) OR ((((triple6) -> rule2) triple4) -> rule1))] Charlie is furry.[(triple2 OR ((triple6) -> rule2))] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is round.[(triple6)] Charlie is young.[(triple7)]