Charlie is blue. Charlie is cold. Charlie is not furry. Charlie is not quiet. Charlie is round. Harry is blue. Harry is cold. Harry is nice. Harry is quiet. Harry is red. Quiet, blue things are round. If something is cold then it is round. All nice, blue things are round.
Harry is furry.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is not furry.[(triple3)] Charlie is not quiet.[(triple4)] Charlie is round.[(triple5 OR ((triple2) -> rule2))] Harry is blue.[(triple6)] Harry is cold.[(triple7)] Harry is nice.[(triple8)] Harry is quiet.[(triple9)] Harry is red.[(triple10)] @1: Harry is round.[(((triple7) -> rule2) OR ((triple8 triple6) -> rule3) OR ((triple9 triple6) -> rule1))]