Charlie is blue. Charlie is cold. Charlie is furry. Charlie is red. Charlie is white. Erin is big. Erin is blue. Erin is cold. Erin is red. Fiona is blue. Fiona is furry. Fiona is red. Fiona is rough. Gary is blue. Gary is cold. All rough, cold people are white. Furry, rough people are cold. All big, furry people are white.
Charlie is not blue.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is red.[(triple4)] Charlie is white.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7)] Erin is cold.[(triple8)] Erin is red.[(triple9)] Fiona is blue.[(triple10)] Fiona is furry.[(triple11)] Fiona is red.[(triple12)] Fiona is rough.[(triple13)] Gary is blue.[(triple14)] Gary is cold.[(triple15)] @1: Fiona is cold.[(((triple11 triple13) -> rule2))] @2: Fiona is white.[(((triple13 ((triple11 triple13) -> rule2)) -> rule1))]