Gary is big. Gary is cold. Gary is green. Gary is kind. Gary is quiet. Gary is red. Gary is rough. Red, quiet things are kind. All big things are green.
Gary is red.
@0: Gary is big.[(triple1)] Gary is cold.[(triple2)] Gary is green.[(triple3 OR ((triple1) -> rule2))] Gary is kind.[(triple4 OR ((triple6 triple5) -> rule1))] Gary is quiet.[(triple5)] Gary is red.[(triple6)] Gary is rough.[(triple7)]