Bob is blue. Bob is green. Bob is quiet. Bob is red. Bob is round. Bob is white. Bob is young. Young people are quiet. If someone is quiet and young then they are red. If someone is quiet then they are round.
Bob is blue.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is quiet.[(triple3 OR ((triple7) -> rule1))] Bob is red.[(triple4 OR ((triple3 triple7) -> rule2) OR ((((triple7) -> rule1) triple7) -> rule2))] Bob is round.[(triple5 OR ((triple3) -> rule3) OR ((((triple7) -> rule1)) -> rule3))] Bob is white.[(triple6)] Bob is young.[(triple7)]