Anne is furry. Anne is kind. Anne is nice. Anne is rough. Anne is white. Erin is cold. Erin is nice. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is rough. Harry is cold. Harry is furry. Harry is kind. Harry is nice. Harry is rough. If someone is white and rough then they are nice. If Anne is young then Anne is cold.
Fiona is not nice.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3 OR ((triple5 triple4) -> rule1))] Anne is rough.[(triple4)] Anne is white.[(triple5)] Erin is cold.[(triple6)] Erin is nice.[(triple7)] Fiona is cold.[(triple8)] Fiona is furry.[(triple9)] Fiona is kind.[(triple10)] Fiona is rough.[(triple11)] Harry is cold.[(triple12)] Harry is furry.[(triple13)] Harry is kind.[(triple14)] Harry is nice.[(triple15)] Harry is rough.[(triple16)]