Anne is furry. Anne is green. Anne is nice. Anne is quiet. Anne is white. Fiona is red. Fiona is young. Young, red people are quiet. If someone is furry and white then they are quiet. White people are quiet. If someone is nice and young then they are furry. All quiet, red people are furry. If Fiona is furry and Fiona is red then Fiona is green.
Fiona is white.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple5) -> rule3) OR ((triple1 triple5) -> rule2))] Anne is white.[(triple5)] Fiona is red.[(triple6)] Fiona is young.[(triple7)] @1: Fiona is quiet.[(((triple7 triple6) -> rule1))] @2: Fiona is furry.[(((((triple7 triple6) -> rule1) triple6) -> rule5))] @3: Fiona is green.[(((((((triple7 triple6) -> rule1) triple6) -> rule5) triple6) -> rule6))]