Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is nice. Anne is rough. Anne is white. Fiona is blue. Fiona is not cold. Fiona is white. Harry is not blue. Harry is cold. Harry is furry. Harry is nice. Harry is rough. Harry is white. If something is white then it is big. If something is big then it is furry. If something is furry and not cold then it is rough.
Anne is nice.
@0: Anne is big.[(triple1 OR ((triple7) -> rule1))] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is furry.[(triple4 OR ((triple1) -> rule2) OR ((((triple7) -> rule1)) -> rule2))] Anne is nice.[(triple5)] Anne is rough.[(triple6)] Anne is white.[(triple7)] Fiona is blue.[(triple8)] Fiona is not cold.[(triple9)] Fiona is white.[(triple10)] Harry is cold.[(triple12)] Harry is furry.[(triple13 OR ((((triple16) -> rule1)) -> rule2))] Harry is nice.[(triple14)] Harry is not blue.[(triple11)] Harry is rough.[(triple15)] Harry is white.[(triple16)] @1: Fiona is big.[(((triple10) -> rule1))] Harry is big.[(((triple16) -> rule1))] @2: Fiona is furry.[(((((triple10) -> rule1)) -> rule2))] @3: Fiona is rough.[(((((((triple10) -> rule1)) -> rule2) triple9) -> rule3))]