Anne is quiet. Dave is big. Dave is blue. Dave is quiet. Fiona is green. Fiona is kind. Fiona is white. If someone is rough and blue then they are big. If someone is green and white then they are blue. All white, quiet people are kind. If Fiona is green then Fiona is quiet. Quiet, rough people are green. Blue people are big. Green people are quiet. If someone is white then they are big.
Anne is white.
@0: Anne is quiet.[(triple1)] Dave is big.[(triple2 OR ((triple3) -> rule6))] Dave is blue.[(triple3)] Dave is quiet.[(triple4)] Fiona is green.[(triple5)] Fiona is kind.[(triple6 OR ((triple7 ((triple5) -> rule4)) -> rule3) OR ((triple7 ((triple5) -> rule7)) -> rule3))] Fiona is white.[(triple7)] @1: Fiona is big.[(((triple7) -> rule8) OR ((((triple5 triple7) -> rule2)) -> rule6))] Fiona is blue.[(((triple5 triple7) -> rule2))] Fiona is quiet.[(((triple5) -> rule4) OR ((triple5) -> rule7))]