Bob is big. Bob is blue. Bob is furry. Bob is quiet. Bob is red. Bob is round. Bob is young. Harry is big. Harry is blue. Harry is furry. Harry is quiet. Harry is red. Harry is round. Harry is young. Young people are quiet.
Bob is not blue.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is quiet.[(triple4 OR ((triple7) -> rule1))] Bob is red.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7)] Harry is big.[(triple8)] Harry is blue.[(triple9)] Harry is furry.[(triple10)] Harry is quiet.[(triple11 OR ((triple14) -> rule1))] Harry is red.[(triple12)] Harry is round.[(triple13)] Harry is young.[(triple14)]