Dave is big. Dave is cold. Dave is kind. Dave is quiet. Dave is rough. Dave is young. Erin is big. Erin is cold. Erin is furry. Erin is young. Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is quiet. Gary is rough. All quiet people are young. All big, kind people are rough.
Gary is cold.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is kind.[(triple3)] Dave is quiet.[(triple4)] Dave is rough.[(triple5 OR ((triple1 triple3) -> rule2))] Dave is young.[(triple6 OR ((triple4) -> rule1))] Erin is big.[(triple7)] Erin is cold.[(triple8)] Erin is furry.[(triple9)] Erin is young.[(triple10)] Gary is big.[(triple11)] Gary is cold.[(triple12)] Gary is furry.[(triple13)] Gary is kind.[(triple14)] Gary is quiet.[(triple15)] Gary is rough.[(triple16 OR ((triple11 triple14) -> rule2))] @1: Gary is young.[(((triple15) -> rule1))]