Fiona is kind. Fiona is nice. Fiona is round. Fiona is young. Gary is not big. Gary is not kind. Gary is not round. Gary is young. Harry is rough. Harry is young. If Harry is rough then Harry is big.
Harry is round.
@0: Fiona is kind.[(triple1)] Fiona is nice.[(triple2)] Fiona is round.[(triple3)] Fiona is young.[(triple4)] Gary is not big.[(triple5)] Gary is not kind.[(triple6)] Gary is not round.[(triple7)] Gary is young.[(triple8)] Harry is rough.[(triple9)] Harry is young.[(triple10)] @1: Harry is big.[(((triple9) -> rule1))]