Bob is big. Bob is blue. Bob is cold. Bob is kind. Bob is nice. Bob is quiet. Bob is rough. If someone is blue and quiet then they are kind. If someone is nice and rough then they are kind.
Bob is cold.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is kind.[(triple4 OR ((triple2 triple6) -> rule1) OR ((triple5 triple7) -> rule2))] Bob is nice.[(triple5)] Bob is quiet.[(triple6)] Bob is rough.[(triple7)]