Charlie is blue. Charlie is cold. Charlie is not furry. Charlie is kind. Charlie is red. Erin is big. Erin is not blue. Erin is furry. Erin is kind. Erin is nice. Erin is red. Fiona is big. Fiona is nice. Fiona is red. Harry is cold. All kind, furry things are big. If something is cold and not red then it is big.
Charlie is kind.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is kind.[(triple4)] Charlie is not furry.[(triple3)] Charlie is red.[(triple5)] Erin is big.[(triple6 OR ((triple9 triple8) -> rule1))] Erin is furry.[(triple8)] Erin is kind.[(triple9)] Erin is nice.[(triple10)] Erin is not blue.[(triple7)] Erin is red.[(triple11)] Fiona is big.[(triple12)] Fiona is nice.[(triple13)] Fiona is red.[(triple14)] Harry is cold.[(triple15)]