Bob is cold. Bob is furry. Bob is nice. Bob is young. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is red. Charlie is round. Charlie is young. Erin is cold. Erin is furry. Erin is kind. Erin is nice. Erin is round. Erin is young. All round things are young. If something is young then it is cold.
Bob is not red.
@0: Bob is cold.[(triple1 OR ((triple4) -> rule2))] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Bob is young.[(triple4)] Charlie is cold.[(triple5 OR ((triple10) -> rule2) OR ((((triple9) -> rule1)) -> rule2))] Charlie is furry.[(triple6)] Charlie is nice.[(triple7)] Charlie is red.[(triple8)] Charlie is round.[(triple9)] Charlie is young.[(triple10 OR ((triple9) -> rule1))] Erin is cold.[(triple11 OR ((triple16) -> rule2) OR ((((triple15) -> rule1)) -> rule2))] Erin is furry.[(triple12)] Erin is kind.[(triple13)] Erin is nice.[(triple14)] Erin is round.[(triple15)] Erin is young.[(triple16 OR ((triple15) -> rule1))]