Charlie is blue. Charlie is cold. Charlie is round. Charlie is smart. Dave is blue. Dave is cold. Dave is furry. Dave is round. Dave is smart. Erin is cold. Erin is not furry. Fiona is not cold. Fiona is furry. Fiona is round. Fiona is young. Round, furry people are smart.
Fiona is young.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is round.[(triple3)] Charlie is smart.[(triple4)] Dave is blue.[(triple5)] Dave is cold.[(triple6)] Dave is furry.[(triple7)] Dave is round.[(triple8)] Dave is smart.[(triple9 OR ((triple8 triple7) -> rule1))] Erin is cold.[(triple10)] Erin is not furry.[(triple11)] Fiona is furry.[(triple13)] Fiona is not cold.[(triple12)] Fiona is round.[(triple14)] Fiona is young.[(triple15)] @1: Fiona is smart.[(((triple14 triple13) -> rule1))]