Bob is big. Erin is cold. Erin is kind. Gary is young. Harry is big. Harry is rough. Harry is not round. Young things are big. All rough things are not kind.
Gary is not young.
@0: Bob is big.[(triple1)] Erin is cold.[(triple2)] Erin is kind.[(triple3)] Gary is young.[(triple4)] Harry is big.[(triple5)] Harry is not round.[(triple7)] Harry is rough.[(triple6)] @1: Gary is big.[(((triple4) -> rule1))] Harry is not kind.[(((triple6) -> rule2))]