Charlie is big. Charlie is not blue. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is round. Charlie is not smart. Harry is big. Harry is not round. Harry is smart. If someone is smart then they are blue.
Harry is not blue.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple3)] Charlie is green.[(triple4)] Charlie is not blue.[(triple2)] Charlie is not smart.[(triple7)] Charlie is quiet.[(triple5)] Charlie is round.[(triple6)] Harry is big.[(triple8)] Harry is not round.[(triple9)] Harry is smart.[(triple10)] @1: Harry is blue.[(((triple10) -> rule1))]