Anne is cold. Anne is furry. Anne is rough. Bob is green. Bob is quiet. Bob is white. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is white. Fiona is cold. Fiona is green. Fiona is kind. Fiona is quiet. Furry, cold people are white. All green people are furry.
Charlie is not furry.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is rough.[(triple3)] Bob is green.[(triple4)] Bob is quiet.[(triple5)] Bob is white.[(triple6)] Charlie is cold.[(triple7)] Charlie is kind.[(triple8)] Charlie is quiet.[(triple9)] Charlie is rough.[(triple10)] Charlie is white.[(triple11)] Fiona is cold.[(triple12)] Fiona is green.[(triple13)] Fiona is kind.[(triple14)] Fiona is quiet.[(triple15)] @1: Anne is white.[(((triple2 triple1) -> rule1))] Bob is furry.[(((triple4) -> rule2))] Fiona is furry.[(((triple13) -> rule2))] @2: Fiona is white.[(((((triple13) -> rule2) triple12) -> rule1))]