Bob is blue. Bob is cold. Bob is nice. Bob is red. Bob is rough. Bob is round. Bob is young. Harry is cold. Harry is red. Harry is rough. Harry is round. Harry is young. Round, red things are cold.
Bob is nice.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple6 triple4) -> rule1))] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7)] Harry is cold.[(triple8 OR ((triple11 triple9) -> rule1))] Harry is red.[(triple9)] Harry is rough.[(triple10)] Harry is round.[(triple11)] Harry is young.[(triple12)]