Charlie is big. Charlie is round. Charlie is smart. Fiona is smart. Fiona is white. Fiona is young. Gary is round. Harry is round. Harry is white. Harry is young. Young, round people are smart.
Gary is not smart.
@0: Charlie is big.[(triple1)] Charlie is round.[(triple2)] Charlie is smart.[(triple3)] Fiona is smart.[(triple4)] Fiona is white.[(triple5)] Fiona is young.[(triple6)] Gary is round.[(triple7)] Harry is round.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Harry is smart.[(((triple10 triple8) -> rule1))]