Bob is big. Bob is cold. Bob is furry. Bob is kind. Bob is quiet. Bob is rough. Bob is young. Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is quiet. Gary is rough. Gary is young. Cold people are rough. If someone is cold then they are kind.
Bob is big.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is kind.[(triple4 OR ((triple2) -> rule2))] Bob is quiet.[(triple5)] Bob is rough.[(triple6 OR ((triple2) -> rule1))] Bob is young.[(triple7)] Gary is big.[(triple8)] Gary is cold.[(triple9)] Gary is furry.[(triple10)] Gary is kind.[(triple11 OR ((triple9) -> rule2))] Gary is quiet.[(triple12)] Gary is rough.[(triple13 OR ((triple9) -> rule1))] Gary is young.[(triple14)]