Anne is big. Anne is cold. Anne is green. Anne is white. Charlie is not cold. Charlie is not green. Charlie is kind. Charlie is white. Harry is big. Harry is cold. Harry is furry. Harry is not green. Harry is kind. Harry is white. Harry is young. All cold, green people are white.
Anne is cold.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is white.[(triple4 OR ((triple2 triple3) -> rule1))] Charlie is kind.[(triple7)] Charlie is not cold.[(triple5)] Charlie is not green.[(triple6)] Charlie is white.[(triple8)] Harry is big.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is kind.[(triple13)] Harry is not green.[(triple12)] Harry is white.[(triple14)] Harry is young.[(triple15)]