Anne is blue. Anne is young. Bob is young. Charlie is not blue. Charlie is cold. Charlie is quiet. Dave is furry. Dave is kind. Dave is smart. Dave is young. All blue things are furry. If Anne is smart and Anne is not quiet then Anne is cold. All cold things are young. If something is smart and not blue then it is not young. Furry things are young. Furry things are kind. If Dave is cold and Dave is young then Dave is furry. If something is kind and not blue then it is cold.
Bob is not quiet.
@0: Anne is blue.[(triple1)] Anne is young.[(triple2 OR ((((triple1) -> rule1)) -> rule5))] Bob is young.[(triple3)] Charlie is cold.[(triple5)] Charlie is not blue.[(triple4)] Charlie is quiet.[(triple6)] Dave is furry.[(triple7)] Dave is kind.[(triple8 OR ((triple7) -> rule6))] Dave is smart.[(triple9)] Dave is young.[(triple10 OR ((triple7) -> rule5))] @1: Anne is furry.[(((triple1) -> rule1))] Charlie is young.[(((triple5) -> rule3))] @2: Anne is kind.[(((((triple1) -> rule1)) -> rule6))]