Charlie is blue. Charlie is furry. Charlie is not round. Charlie is smart. Charlie is young. Fiona is furry. Fiona is young. Gary is not blue. Gary is furry. Gary is green. Gary is nice. Gary is round. Gary is not young. Harry is not round. Harry is smart. Harry is young. If Harry is not smart then Harry is not furry. If Gary is young and Gary is nice then Gary is not furry. If Fiona is not blue then Fiona is nice. If Gary is round and Gary is smart then Gary is green. Blue things are nice. If something is round and smart then it is furry.
Harry is not young.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is not round.[(triple3)] Charlie is smart.[(triple4)] Charlie is young.[(triple5)] Fiona is furry.[(triple6)] Fiona is young.[(triple7)] Gary is furry.[(triple9)] Gary is green.[(triple10)] Gary is nice.[(triple11)] Gary is not blue.[(triple8)] Gary is not young.[(triple13)] Gary is round.[(triple12)] Harry is not round.[(triple14)] Harry is smart.[(triple15)] Harry is young.[(triple16)] @1: Charlie is nice.[(((triple1) -> rule5))]