Anne is not big. Anne is kind. Anne is smart. Anne is young. Charlie is kind. Dave is not blue. Fiona is blue. All young people are smart. If someone is big then they are not kind. If someone is furry and kind then they are round. If Anne is furry then Anne is smart. If someone is blue and round then they are furry. If someone is young then they are furry. If Dave is young and Dave is not kind then Dave is round. All round people are not blue.
Dave is not round.
@0: Anne is kind.[(triple2)] Anne is not big.[(triple1)] Anne is smart.[(triple3 OR ((triple4) -> rule1) OR ((((triple4) -> rule6)) -> rule4))] Anne is young.[(triple4)] Charlie is kind.[(triple5)] Dave is not blue.[(triple6)] Fiona is blue.[(triple7)] @1: Anne is furry.[(((triple4) -> rule6))] @2: Anne is round.[(((((triple4) -> rule6) triple2) -> rule3))] @3: Anne is not blue.[(((((((triple4) -> rule6) triple2) -> rule3)) -> rule8))]