Bob is cold. Bob is furry. Bob is rough. Erin is cold. Erin is quiet. Erin is rough. Erin is white. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is rough. Fiona is young. Gary is cold. Gary is white. Gary is young. All cold things are furry.
Erin is not cold.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple1) -> rule1))] Bob is rough.[(triple3)] Erin is cold.[(triple4)] Erin is quiet.[(triple5)] Erin is rough.[(triple6)] Erin is white.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is furry.[(triple10 OR ((triple9) -> rule1))] Fiona is rough.[(triple11)] Fiona is young.[(triple12)] Gary is cold.[(triple13)] Gary is white.[(triple14)] Gary is young.[(triple15)] @1: Erin is furry.[(((triple4) -> rule1))] Gary is furry.[(((triple13) -> rule1))]