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