Bob is big. Bob is quiet. Bob is white. Bob is young. Dave is young. Gary is cold. Gary is quiet. Gary is white. Gary is young. Harry is big. Harry is quiet. Harry is young. Cold things are white. All cold things are quiet. If something is young and furry then it is quiet.
Dave is furry.
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2)] Bob is white.[(triple3)] Bob is young.[(triple4)] Dave is young.[(triple5)] Gary is cold.[(triple6)] Gary is quiet.[(triple7 OR ((triple6) -> rule2))] Gary is white.[(triple8 OR ((triple6) -> rule1))] Gary is young.[(triple9)] Harry is big.[(triple10)] Harry is quiet.[(triple11)] Harry is young.[(triple12)]