Charlie is blue. Charlie is furry. Charlie is nice. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. Fiona is smart. Fiona is white. Gary is nice. Gary is red. Gary is round. Gary is smart. Harry is furry. Harry is round. Harry is white. All furry things are nice.
Gary is blue.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple3 OR ((triple2) -> rule1))] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Fiona is smart.[(triple8)] Fiona is white.[(triple9)] Gary is nice.[(triple10)] Gary is red.[(triple11)] Gary is round.[(triple12)] Gary is smart.[(triple13)] Harry is furry.[(triple14)] Harry is round.[(triple15)] Harry is white.[(triple16)] @1: Harry is nice.[(((triple14) -> rule1))]