Bob is big. Bob is cold. Bob is kind. Bob is round. Bob is white. Harry is kind. Harry is white. White things are round. Green things are not round.
Bob is rough.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3)] Bob is round.[(triple4 OR ((triple5) -> rule1))] Bob is white.[(triple5)] Harry is kind.[(triple6)] Harry is white.[(triple7)] @1: Harry is round.[(((triple7) -> rule1))]