Anne is kind. Anne is round. Dave is blue. Dave is cold. Dave is furry. Dave is green. Dave is quiet. Erin is green. Fiona is furry. Fiona is round. If Fiona is quiet and Fiona is kind then Fiona is green. All green people are blue. Quiet, round people are cold. Kind people are green. If someone is quiet then they are blue. If someone is cold then they are furry. All blue, kind people are quiet.
Fiona is blue.
@0: Anne is kind.[(triple1)] Anne is round.[(triple2)] Dave is blue.[(triple3 OR ((triple6) -> rule2) OR ((triple7) -> rule5))] Dave is cold.[(triple4)] Dave is furry.[(triple5 OR ((triple4) -> rule6))] Dave is green.[(triple6)] Dave is quiet.[(triple7)] Erin is green.[(triple8)] Fiona is furry.[(triple9)] Fiona is round.[(triple10)] @1: Anne is green.[(((triple1) -> rule4))] Erin is blue.[(((triple8) -> rule2))] @2: Anne is blue.[(((((triple1) -> rule4)) -> rule2))] @3: Anne is quiet.[(((((((triple1) -> rule4)) -> rule2) triple1) -> rule7))] @4: Anne is cold.[(((((((((triple1) -> rule4)) -> rule2) triple1) -> rule7) triple2) -> rule3))] @5: Anne is furry.[(((((((((((triple1) -> rule4)) -> rule2) triple1) -> rule7) triple2) -> rule3)) -> rule6))]