Fiona is kind. Fiona is round. Fiona is white. Gary is blue. Gary is nice. Gary is round. Gary is white. Harry is furry. Harry is kind. Harry is round. If something is white then it is nice.
Fiona is green.
@0: Fiona is kind.[(triple1)] Fiona is round.[(triple2)] Fiona is white.[(triple3)] Gary is blue.[(triple4)] Gary is nice.[(triple5 OR ((triple7) -> rule1))] Gary is round.[(triple6)] Gary is white.[(triple7)] Harry is furry.[(triple8)] Harry is kind.[(triple9)] Harry is round.[(triple10)] @1: Fiona is nice.[(((triple3) -> rule1))]