Bob is cold. Bob is kind. Bob is quiet. Bob is red. Bob is not round. Bob is smart. Bob is young. If something is round and not quiet then it is not kind. All quiet things are young. If something is cold then it is young. If Bob is cold and Bob is not young then Bob is not kind. Kind, quiet things are smart. If something is quiet and not smart then it is red.
Bob is not quiet.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is not round.[(triple5)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is smart.[(triple6 OR ((triple2 triple3) -> rule5))] Bob is young.[(triple7 OR ((triple1) -> rule3) OR ((triple3) -> rule2))]