Erin is furry. Erin is green. Erin is kind. Erin is quiet. Erin is not red. Erin is smart. Erin is young. Gary is furry. Gary is green. Gary is kind. Gary is quiet. Gary is red. Gary is smart. Gary is young. All quiet things are kind.
Gary is quiet.
@0: Erin is furry.[(triple1)] Erin is green.[(triple2)] Erin is kind.[(triple3 OR ((triple4) -> rule1))] Erin is not red.[(triple5)] Erin is quiet.[(triple4)] Erin is smart.[(triple6)] Erin is young.[(triple7)] Gary is furry.[(triple8)] Gary is green.[(triple9)] Gary is kind.[(triple10 OR ((triple11) -> rule1))] Gary is quiet.[(triple11)] Gary is red.[(triple12)] Gary is smart.[(triple13)] Gary is young.[(triple14)]