Bob is cold. Bob is furry. Bob is red. Charlie is blue. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is young. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is rough. Gary is cold. Gary is furry. If Gary is cold then Gary is rough.
Fiona is furry.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is red.[(triple3)] Charlie is blue.[(triple4)] Charlie is furry.[(triple5)] Charlie is quiet.[(triple6)] Charlie is red.[(triple7)] Charlie is rough.[(triple8)] Charlie is young.[(triple9)] Fiona is blue.[(triple10)] Fiona is furry.[(triple11)] Fiona is quiet.[(triple12)] Fiona is rough.[(triple13)] Gary is cold.[(triple14)] Gary is furry.[(triple15)] @1: Gary is rough.[(((triple14) -> rule1))]