Bob is green. Bob is nice. Bob is round. Charlie is cold. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is round. Charlie is white. Erin is cold. Erin is kind. Erin is nice. Erin is red. Erin is round. Erin is white. Nice people are kind.
Bob is red.
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Bob is round.[(triple3)] Charlie is cold.[(triple4)] Charlie is green.[(triple5)] Charlie is kind.[(triple6 OR ((triple7) -> rule1))] Charlie is nice.[(triple7)] Charlie is red.[(triple8)] Charlie is round.[(triple9)] Charlie is white.[(triple10)] Erin is cold.[(triple11)] Erin is kind.[(triple12 OR ((triple13) -> rule1))] Erin is nice.[(triple13)] Erin is red.[(triple14)] Erin is round.[(triple15)] Erin is white.[(triple16)] @1: Bob is kind.[(((triple2) -> rule1))]