Bob is big. Bob is furry. Bob is nice. Bob is white. Erin is big. Erin is nice. Erin is quiet. Erin is rough. Erin is white. Fiona is cold. Fiona is quiet. Fiona is white. Gary is cold. Gary is quiet. Gary is white. If Erin is furry and Erin is big then Erin is white.
Gary is not rough.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Bob is white.[(triple4)] Erin is big.[(triple5)] Erin is nice.[(triple6)] Erin is quiet.[(triple7)] Erin is rough.[(triple8)] Erin is white.[(triple9)] Fiona is cold.[(triple10)] Fiona is quiet.[(triple11)] Fiona is white.[(triple12)] Gary is cold.[(triple13)] Gary is quiet.[(triple14)] Gary is white.[(triple15)]