Anne is big. Anne is cold. Anne is rough. Anne is white. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is white. Harry is kind. Harry is rough. Rough people are big. All big people are cold. Furry people are big.
Anne is kind.
@0: Anne is big.[(triple1 OR ((triple3) -> rule1))] Anne is cold.[(triple2 OR ((triple1) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] Anne is rough.[(triple3)] Anne is white.[(triple4)] Charlie is cold.[(triple5 OR ((((triple6) -> rule3)) -> rule2))] Charlie is furry.[(triple6)] Charlie is quiet.[(triple7)] Charlie is white.[(triple8)] Harry is kind.[(triple9)] Harry is rough.[(triple10)] @1: Charlie is big.[(((triple6) -> rule3))] Harry is big.[(((triple10) -> rule1))] @2: Harry is cold.[(((((triple10) -> rule1)) -> rule2))]