Charlie is cold. Erin is cold. Harry is nice. If someone is furry then they are rough. If Charlie is cold then Charlie is kind. If Charlie is young and Charlie is rough then Charlie is furry. Nice people are rough. If someone is cold then they are nice. Cold, young people are furry.
Charlie is young.
@0: Charlie is cold.[(triple1)] Erin is cold.[(triple2)] Harry is nice.[(triple3)] @1: Charlie is kind.[(((triple1) -> rule2))] Charlie is nice.[(((triple1) -> rule5))] Erin is nice.[(((triple2) -> rule5))] Harry is rough.[(((triple3) -> rule4))] @2: Charlie is rough.[(((((triple1) -> rule5)) -> rule4))] Erin is rough.[(((((triple2) -> rule5)) -> rule4))]