Erin is big. Erin is rough. Gary is blue. Gary is red. Harry is green. Harry is kind. Harry is white. All green things are white. All blue, white things are green. If something is blue and green then it is big.
Gary is not green.
@0: Erin is big.[(triple1)] Erin is rough.[(triple2)] Gary is blue.[(triple3)] Gary is red.[(triple4)] Harry is green.[(triple5)] Harry is kind.[(triple6)] Harry is white.[(triple7 OR ((triple5) -> rule1))]