Charlie is cold. Charlie is not furry. Charlie is red. Charlie is not round. Charlie is white. Charlie is not young. Dave is rough. If someone is rough then they are cold. If someone is red then they are cold. If someone is white and round then they are young. If Dave is young and Dave is rough then Dave is not furry. Round people are rough. If someone is young then they are white. If someone is cold and not white then they are furry. If someone is cold then they are not furry.
Charlie is young.
@0: Charlie is cold.[(triple1 OR ((triple3) -> rule2))] Charlie is not furry.[(triple2 OR ((triple1) -> rule8) OR ((((triple3) -> rule2)) -> rule8))] Charlie is not round.[(triple4)] Charlie is not young.[(triple6)] Charlie is red.[(triple3)] Charlie is white.[(triple5)] Dave is rough.[(triple7)] @1: Dave is cold.[(((triple7) -> rule1))] @2: Dave is not furry.[(((((triple7) -> rule1)) -> rule8))]