Bob is green. Bob is white. Erin is big. Erin is green. Erin is quiet. Erin is rough. Erin is white. Fiona is cold. Fiona is green. Fiona is nice. Fiona is white. Gary is cold. Gary is green. Gary is nice. Gary is rough. Gary is white. If someone is green and quiet then they are cold. All quiet people are cold.
Bob is not cold.
@0: Bob is green.[(triple1)] Bob is white.[(triple2)] Erin is big.[(triple3)] Erin is green.[(triple4)] Erin is quiet.[(triple5)] Erin is rough.[(triple6)] Erin is white.[(triple7)] Fiona is cold.[(triple8)] Fiona is green.[(triple9)] Fiona is nice.[(triple10)] Fiona is white.[(triple11)] Gary is cold.[(triple12)] Gary is green.[(triple13)] Gary is nice.[(triple14)] Gary is rough.[(triple15)] Gary is white.[(triple16)] @1: Erin is cold.[(((triple5) -> rule2) OR ((triple4 triple5) -> rule1))]