Anne is not cold. Anne is furry. Anne is rough. Anne is smart. Bob is big. Bob is furry. Bob is rough. Charlie is big. Charlie is cold. Charlie is furry. Charlie is round. Charlie is smart. Fiona is not furry. Fiona is not round. Fiona is smart. If someone is furry then they are not nice.
Fiona is rough.
@0: Anne is furry.[(triple2)] Anne is not cold.[(triple1)] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Bob is big.[(triple5)] Bob is furry.[(triple6)] Bob is rough.[(triple7)] Charlie is big.[(triple8)] Charlie is cold.[(triple9)] Charlie is furry.[(triple10)] Charlie is round.[(triple11)] Charlie is smart.[(triple12)] Fiona is not furry.[(triple13)] Fiona is not round.[(triple14)] Fiona is smart.[(triple15)] @1: Anne is not nice.[(((triple2) -> rule1))] Bob is not nice.[(((triple6) -> rule1))] Charlie is not nice.[(((triple10) -> rule1))]