Anne is blue. Bob is furry. Bob is not rough. Bob is smart. Bob is white. Bob is young. Charlie is cold. Charlie is furry. Charlie is smart. Charlie is young. Erin is blue. Erin is cold. Erin is not rough. Erin is white. Erin is young. All smart, white things are young. All furry, cold things are young. Cold, smart things are white. If Charlie is cold then Charlie is furry. All smart things are furry. Smart, blue things are not furry.
Charlie is young.
@0: Anne is blue.[(triple1)] Bob is furry.[(triple2 OR ((triple4) -> rule5))] Bob is not rough.[(triple3)] Bob is smart.[(triple4)] Bob is white.[(triple5)] Bob is young.[(triple6 OR ((triple4 triple5) -> rule1))] Charlie is cold.[(triple7)] Charlie is furry.[(triple8 OR ((triple7) -> rule4) OR ((triple9) -> rule5))] Charlie is smart.[(triple9)] Charlie is young.[(triple10 OR ((triple8 triple7) -> rule2) OR ((triple9 ((triple7 triple9) -> rule3)) -> rule1) OR ((((triple7) -> rule4) triple7) -> rule2) OR ((((triple9) -> rule5) triple7) -> rule2))] Erin is blue.[(triple11)] Erin is cold.[(triple12)] Erin is not rough.[(triple13)] Erin is white.[(triple14)] Erin is young.[(triple15)] @1: Charlie is white.[(((triple7 triple9) -> rule3))]