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