Bob is round. Bob is young. Erin is quiet. Gary is big. Gary is cold. Gary is rough. Harry is cold. Big people are green. Round people are young.
Erin is not green.
@0: Bob is round.[(triple1)] Bob is young.[(triple2 OR ((triple1) -> rule2))] Erin is quiet.[(triple3)] Gary is big.[(triple4)] Gary is cold.[(triple5)] Gary is rough.[(triple6)] Harry is cold.[(triple7)] @1: Gary is green.[(((triple4) -> rule1))]