Fiona is rough. Gary is not cold. Gary is kind. Gary is rough. Harry is round. Harry is not smart. Harry is white. White things are round.
Gary is not round.
@0: Fiona is rough.[(triple1)] Gary is kind.[(triple3)] Gary is not cold.[(triple2)] Gary is rough.[(triple4)] Harry is not smart.[(triple6)] Harry is round.[(triple5 OR ((triple7) -> rule1))] Harry is white.[(triple7)]