Bob is blue. Bob is kind. Bob is white. Bob is young. Charlie is big. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is round. Charlie is white. Charlie is young. Erin is kind. Erin is young. Harry is blue. Harry is white. Harry is young. All round, white things are blue.
Erin is not blue.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is white.[(triple3)] Bob is young.[(triple4)] Charlie is big.[(triple5)] Charlie is blue.[(triple6 OR ((triple9 triple10) -> rule1))] Charlie is cold.[(triple7)] Charlie is kind.[(triple8)] Charlie is round.[(triple9)] Charlie is white.[(triple10)] Charlie is young.[(triple11)] Erin is kind.[(triple12)] Erin is young.[(triple13)] Harry is blue.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)]