Anne is kind. Anne is not rough. Bob is furry. Fiona is cold. Fiona is quiet. Fiona is rough. Fiona is young. All cold things are quiet. Furry, kind things are quiet. Quiet things are kind. If Fiona is kind then Fiona is furry. All furry things are cold. If something is young and quiet then it is rough. If something is smart then it is rough. If something is young and not quiet then it is rough.
Bob is not quiet.
@0: Anne is kind.[(triple1)] Anne is not rough.[(triple2)] Bob is furry.[(triple3)] Fiona is cold.[(triple4 OR ((((((triple5) -> rule3)) -> rule4)) -> rule5))] Fiona is quiet.[(triple5 OR ((triple4) -> rule1))] Fiona is rough.[(triple6 OR ((triple7 triple5) -> rule6) OR ((triple7 ((triple4) -> rule1)) -> rule6))] Fiona is young.[(triple7)] @1: Bob is cold.[(((triple3) -> rule5))] Fiona is kind.[(((triple5) -> rule3) OR ((((triple4) -> rule1)) -> rule3))] @2: Bob is quiet.[(((((triple3) -> rule5)) -> rule1))] Fiona is furry.[(((((triple5) -> rule3)) -> rule4) OR ((((((triple4) -> rule1)) -> rule3)) -> rule4))] @3: Bob is kind.[(((((((triple3) -> rule5)) -> rule1)) -> rule3))]