Erin is furry. Erin is not nice. Erin is round. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is not rough. Fiona is round. Fiona is white. Harry is blue. Harry is furry. Harry is nice. Harry is not red. Harry is rough. Harry is round. Harry is white. Rough, red people are white. If someone is nice and rough then they are furry.
Erin is nice.
@0: Erin is furry.[(triple1)] Erin is not nice.[(triple2)] Erin is round.[(triple3)] Fiona is blue.[(triple4)] Fiona is furry.[(triple5)] Fiona is nice.[(triple6)] Fiona is not rough.[(triple7)] Fiona is round.[(triple8)] Fiona is white.[(triple9)] Harry is blue.[(triple10)] Harry is furry.[(triple11 OR ((triple12 triple14) -> rule2))] Harry is nice.[(triple12)] Harry is not red.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15)] Harry is white.[(triple16)]