Charlie is blue. Charlie is furry. Dave is blue. Dave is not cold. Dave is furry. Dave is kind. Dave is nice. Fiona is not blue. Fiona is green. Fiona is nice. Fiona is quiet. Gary is green. Green people are quiet. If someone is nice then they are green.
Dave is not green.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Dave is blue.[(triple3)] Dave is furry.[(triple5)] Dave is kind.[(triple6)] Dave is nice.[(triple7)] Dave is not cold.[(triple4)] Fiona is green.[(triple9 OR ((triple10) -> rule2))] Fiona is nice.[(triple10)] Fiona is not blue.[(triple8)] Fiona is quiet.[(triple11 OR ((triple9) -> rule1) OR ((((triple10) -> rule2)) -> rule1))] Gary is green.[(triple12)] @1: Dave is green.[(((triple7) -> rule2))] Gary is quiet.[(((triple12) -> rule1))] @2: Dave is quiet.[(((((triple7) -> rule2)) -> rule1))]