Anne is furry. Anne is quiet. Bob is kind. Fiona is kind. Harry is furry. Harry is kind. Harry is young. If Bob is red and Bob is young then Bob is furry. If Anne is quiet then Anne is furry. All young things are white. Young things are quiet. If something is kind then it is red. If something is blue then it is quiet. If something is quiet and young then it is blue. If something is quiet then it is blue.
Anne is not furry.
@0: Anne is furry.[(triple1 OR ((triple2) -> rule2))] Anne is quiet.[(triple2)] Bob is kind.[(triple3)] Fiona is kind.[(triple4)] Harry is furry.[(triple5)] Harry is kind.[(triple6)] Harry is young.[(triple7)] @1: Anne is blue.[(((triple2) -> rule8))] Bob is red.[(((triple3) -> rule5))] Fiona is red.[(((triple4) -> rule5))] Harry is quiet.[(((triple7) -> rule4))] Harry is red.[(((triple6) -> rule5))] Harry is white.[(((triple7) -> rule3))] @2: Harry is blue.[(((((triple7) -> rule4)) -> rule8) OR ((((triple7) -> rule4) triple7) -> rule7))]