Bob is big. Bob is nice. Bob is quiet. Bob is red. Bob is round. Bob is smart. Bob is young. If something is quiet then it is smart. All red, young things are round.
Bob is not nice.
@0: Bob is big.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is round.[(triple5 OR ((triple4 triple7) -> rule2))] Bob is smart.[(triple6 OR ((triple3) -> rule1))] Bob is young.[(triple7)]