Dave is furry. Dave is kind. Dave is nice. Dave is quiet. Dave is round. Fiona is not red. Fiona is round. If Fiona is blue then Fiona is nice. Red things are quiet. If Fiona is furry then Fiona is not kind. All blue, quiet things are not red. If something is kind then it is red. If something is quiet and kind then it is red. Blue things are nice. If Dave is not red and Dave is not nice then Dave is round.
Dave is not quiet.
@0: Dave is furry.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4 OR ((((triple2) -> rule5)) -> rule2))] Dave is round.[(triple5)] Fiona is not red.[(triple6)] Fiona is round.[(triple7)] @1: Dave is red.[(((triple2) -> rule5) OR ((triple4 triple2) -> rule6))]