Anne is red. Anne is round. Anne is white. Anne is young. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is round. Charlie is white. Charlie is young. Harry is blue. Harry is cold. Harry is kind. Harry is red. Harry is round. Harry is white. If Anne is round then Anne is white.
Charlie is red.
@0: Anne is red.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3 OR ((triple2) -> rule1))] Anne is young.[(triple4)] Charlie is blue.[(triple5)] Charlie is cold.[(triple6)] Charlie is kind.[(triple7)] Charlie is round.[(triple8)] Charlie is white.[(triple9)] Charlie is young.[(triple10)] Harry is blue.[(triple11)] Harry is cold.[(triple12)] Harry is kind.[(triple13)] Harry is red.[(triple14)] Harry is round.[(triple15)] Harry is white.[(triple16)]