Anne is cold. Anne is green. Anne is quiet. Anne is red. Anne is rough. Anne is white. Bob is quiet. Bob is red. Erin is green. Erin is quiet. Erin is rough. Erin is white. Fiona is red. Fiona is rough. Fiona is white. Fiona is young. All cold, red things are rough. Red, quiet things are cold.
Bob is cold.
@0: Anne is cold.[(triple1 OR ((triple4 triple3) -> rule2))] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5 OR ((triple1 triple4) -> rule1) OR ((((triple4 triple3) -> rule2) triple4) -> rule1))] Anne is white.[(triple6)] Bob is quiet.[(triple7)] Bob is red.[(triple8)] Erin is green.[(triple9)] Erin is quiet.[(triple10)] Erin is rough.[(triple11)] Erin is white.[(triple12)] Fiona is red.[(triple13)] Fiona is rough.[(triple14)] Fiona is white.[(triple15)] Fiona is young.[(triple16)] @1: Bob is cold.[(((triple8 triple7) -> rule2))] @2: Bob is rough.[(((((triple8 triple7) -> rule2) triple8) -> rule1))]