Anne is blue. Anne is furry. Charlie is quiet. Charlie is not round. Charlie is white. Dave is round. Harry is cold. If someone is white then they are quiet. If Dave is round and Dave is quiet then Dave is nice. Cold people are white. If Anne is quiet and Anne is round then Anne is not blue. If someone is round then they are cold. All nice people are not furry. If Harry is cold then Harry is round. If Anne is quiet then Anne is nice. If Harry is cold and Harry is round then Harry is not furry.
Charlie is cold.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Charlie is not round.[(triple4)] Charlie is quiet.[(triple3 OR ((triple5) -> rule1))] Charlie is white.[(triple5)] Dave is round.[(triple6)] Harry is cold.[(triple7)] @1: Dave is cold.[(((triple6) -> rule5))] Harry is round.[(((triple7) -> rule7))] Harry is white.[(((triple7) -> rule3))] @2: Dave is white.[(((((triple6) -> rule5)) -> rule3))] Harry is not furry.[(((triple7 ((triple7) -> rule7)) -> rule9))] Harry is quiet.[(((((triple7) -> rule3)) -> rule1))] @3: Dave is quiet.[(((((((triple6) -> rule5)) -> rule3)) -> rule1))] @4: Dave is nice.[(((triple6 ((((((triple6) -> rule5)) -> rule3)) -> rule1)) -> rule2))] @5: Dave is not furry.[(((((triple6 ((((((triple6) -> rule5)) -> rule3)) -> rule1)) -> rule2)) -> rule6))]