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