Anne is blue. Anne is not furry. Anne is nice. Anne is white. Dave is white. Fiona is furry. Fiona is kind. Fiona is not nice. Fiona is quiet. Fiona is rough. Quiet people are not blue. All blue, white people are nice. If Dave is rough and Dave is quiet then Dave is blue. If Dave is white then Dave is blue. If someone is quiet and white then they are kind. If someone is nice and not quiet then they are not rough. All nice, white people are not furry. If someone is rough and not blue then they are furry.
Dave is not rough.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple3 OR ((triple1 triple4) -> rule2))] Anne is not furry.[(triple2 OR ((triple3 triple4) -> rule7) OR ((((triple1 triple4) -> rule2) triple4) -> rule7))] Anne is white.[(triple4)] Dave is white.[(triple5)] Fiona is furry.[(triple6 OR ((triple10 ((triple9) -> rule1)) -> rule8))] Fiona is kind.[(triple7)] Fiona is not nice.[(triple8)] Fiona is quiet.[(triple9)] Fiona is rough.[(triple10)] @1: Dave is blue.[(((triple5) -> rule4))] Fiona is not blue.[(((triple9) -> rule1))] @2: Dave is nice.[(((((triple5) -> rule4) triple5) -> rule2))] @3: Dave is not furry.[(((((((triple5) -> rule4) triple5) -> rule2) triple5) -> rule7))]