Bob is big. Bob is blue. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Big things are rough. If something is quiet then it is kind.
Bob is quiet.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is kind.[(triple3 OR ((triple5) -> rule2))] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Bob is rough.[(triple7 OR ((triple1) -> rule1))]