Bob is big. Bob is blue. Bob is cold. Bob is quiet. Bob is not rough. Bob is smart. Bob is not young. If Bob is quiet and Bob is cold then Bob is smart. All rough things are blue.
Bob is not big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is not rough.[(triple5)] Bob is not young.[(triple7)] Bob is quiet.[(triple4)] Bob is smart.[(triple6 OR ((triple4 triple3) -> rule1))]