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