Bob is green. Bob is kind. Bob is round. Bob is young. Gary is kind. Harry is big. Harry is green. Harry is kind. Harry is quiet. Harry is rough. Harry is round. Harry is young. If something is young and quiet then it is round. If something is young then it is kind.
Gary is quiet.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2 OR ((triple4) -> rule2))] Bob is round.[(triple3)] Bob is young.[(triple4)] Gary is kind.[(triple5)] Harry is big.[(triple6)] Harry is green.[(triple7)] Harry is kind.[(triple8 OR ((triple12) -> rule2))] Harry is quiet.[(triple9)] Harry is rough.[(triple10)] Harry is round.[(triple11 OR ((triple12 triple9) -> rule1))] Harry is young.[(triple12)]