Charlie is nice. Charlie is young. Dave is cold. Cold people are furry. All nice people are cold. If someone is young then they are white. If someone is white and not cold then they are not young. If Charlie is young then Charlie is white. If someone is young and not cold then they are rough. All furry people are not rough. Young, blue people are rough.
Dave is not cold.
@0: Charlie is nice.[(triple1)] Charlie is young.[(triple2)] Dave is cold.[(triple3)] @1: Charlie is cold.[(((triple1) -> rule2))] Charlie is white.[(((triple2) -> rule3) OR ((triple2) -> rule5))] Dave is furry.[(((triple3) -> rule1))] @2: Charlie is furry.[(((((triple1) -> rule2)) -> rule1))] Dave is not rough.[(((((triple3) -> rule1)) -> rule7))] @3: Charlie is not rough.[(((((((triple1) -> rule2)) -> rule1)) -> rule7))]