Dave is quiet. Dave is young. Erin is furry. Erin is green. Erin is nice. Erin is rough. Erin is young. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is young. Gary is furry. Gary is green. Gary is quiet. Gary is rough. Gary is smart. If someone is rough then they are smart.
Gary is rough.
@0: Dave is quiet.[(triple1)] Dave is young.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4)] Erin is nice.[(triple5)] Erin is rough.[(triple6)] Erin is young.[(triple7)] Fiona is furry.[(triple8)] Fiona is green.[(triple9)] Fiona is quiet.[(triple10)] Fiona is young.[(triple11)] Gary is furry.[(triple12)] Gary is green.[(triple13)] Gary is quiet.[(triple14)] Gary is rough.[(triple15)] Gary is smart.[(triple16 OR ((triple15) -> rule1))] @1: Erin is smart.[(((triple6) -> rule1))]