Bob is blue. Bob is cold. Bob is furry. Bob is quiet. Bob is round. Bob is white. Bob is young. If someone is white and not quiet then they are not cold. All young, furry people are blue. If someone is cold and not young then they are not white.
Bob is round.
@0: Bob is blue.[(triple1 OR ((triple7 triple3) -> rule2))] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is quiet.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)]