Dave is blue. Dave is furry. Dave is green. Dave is round. Erin is not blue. Erin is green. Erin is young. Fiona is blue. Fiona is green. Fiona is young. Gary is nice. Gary is not smart. Round people are not nice. Smart, furry people are nice. If someone is green and round then they are not young.
Dave is nice.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is round.[(triple4)] Erin is green.[(triple6)] Erin is not blue.[(triple5)] Erin is young.[(triple7)] Fiona is blue.[(triple8)] Fiona is green.[(triple9)] Fiona is young.[(triple10)] Gary is nice.[(triple11)] Gary is not smart.[(triple12)] @1: Dave is not nice.[(((triple4) -> rule1))] Dave is not young.[(((triple3 triple4) -> rule3))]