Fiona is nice. Fiona is red. Fiona is not rough. Fiona is round. Fiona is white. Gary is not furry. Gary is rough. Gary is not white. Harry is furry. Harry is green. Harry is nice. Harry is not red. Harry is rough. Harry is round. Harry is white. If someone is rough then they are green.
Fiona is not green.
@0: Fiona is nice.[(triple1)] Fiona is not rough.[(triple3)] Fiona is red.[(triple2)] Fiona is round.[(triple4)] Fiona is white.[(triple5)] Gary is not furry.[(triple6)] Gary is not white.[(triple8)] Gary is rough.[(triple7)] Harry is furry.[(triple9)] Harry is green.[(triple10 OR ((triple13) -> rule1))] Harry is nice.[(triple11)] Harry is not red.[(triple12)] Harry is rough.[(triple13)] Harry is round.[(triple14)] Harry is white.[(triple15)] @1: Gary is green.[(((triple7) -> rule1))]