Bob is cold. Bob is kind. Bob is smart. Charlie is furry. Charlie is kind. Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. Erin is cold. Erin is furry. Erin is kind. Erin is round. Erin is smart. Erin is young. All round people are smart.
Bob is rough.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is smart.[(triple3)] Charlie is furry.[(triple4)] Charlie is kind.[(triple5)] Charlie is rough.[(triple6)] Charlie is round.[(triple7)] Charlie is smart.[(triple8 OR ((triple7) -> rule1))] Charlie is young.[(triple9)] Erin is cold.[(triple10)] Erin is furry.[(triple11)] Erin is kind.[(triple12)] Erin is round.[(triple13)] Erin is smart.[(triple14 OR ((triple13) -> rule1))] Erin is young.[(triple15)]