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.
Fiona is rough.
@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)]