Anne is green. Anne is quiet. Dave is furry. Erin is big. Erin is cold. Erin is furry. Erin is green. Erin is quiet. Erin is smart. Fiona is furry. Furry people are green. All cold, smart people are big.
Anne is green.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Dave is furry.[(triple3)] Erin is big.[(triple4 OR ((triple5 triple9) -> rule2))] Erin is cold.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7 OR ((triple6) -> rule1))] Erin is quiet.[(triple8)] Erin is smart.[(triple9)] Fiona is furry.[(triple10)] @1: Dave is green.[(((triple3) -> rule1))] Fiona is green.[(((triple10) -> rule1))]