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