Charlie is cold. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is red. Dave is nice. Dave is white. If something is red and white then it is furry. If something is furry and blue then it is not cold. All quiet things are cold. Nice things are cold. If something is furry and white then it is not cold. If something is blue and not quiet then it is not nice.
Charlie is quiet.
@0: Charlie is cold.[(triple1 OR ((triple3) -> rule4) OR ((triple4) -> rule3))] Charlie is furry.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Dave is nice.[(triple6)] Dave is white.[(triple7)] @1: Dave is cold.[(((triple6) -> rule4))]