Anne is big. Anne is blue. Anne is furry. Anne is rough. Anne is white. Charlie is rough. Harry is big. Harry is cold. Harry is furry. Harry is quiet. If Harry is cold and Harry is blue then Harry is furry. If someone is cold and quiet then they are white. Cold, white people are big.
Charlie is rough.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is rough.[(triple4)] Anne is white.[(triple5)] Charlie is rough.[(triple6)] Harry is big.[(triple7 OR ((triple8 ((triple8 triple10) -> rule2)) -> rule3))] Harry is cold.[(triple8)] Harry is furry.[(triple9)] Harry is quiet.[(triple10)] @1: Harry is white.[(((triple8 triple10) -> rule2))]