Erin is big. Erin is cold. Erin is not furry. Erin is nice. Erin is quiet. Erin is red. Erin is not white. Fiona is not big. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is not quiet. Fiona is red. Fiona is white. If Erin is furry and Erin is cold then Erin is nice. All red, furry things are not quiet.
Erin is not red.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is nice.[(triple4)] Erin is not furry.[(triple3)] Erin is not white.[(triple7)] Erin is quiet.[(triple5)] Erin is red.[(triple6)] Fiona is cold.[(triple9)] Fiona is furry.[(triple10)] Fiona is nice.[(triple11)] Fiona is not big.[(triple8)] Fiona is not quiet.[(triple12 OR ((triple13 triple10) -> rule2))] Fiona is red.[(triple13)] Fiona is white.[(triple14)]