Bob is green. Bob is kind. Bob is red. Bob is rough. Bob is round. Bob is white. Harry is green. Harry is kind. Harry is nice. Harry is rough. Nice, rough people are round.
Harry is not green.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple6)] Harry is green.[(triple7)] Harry is kind.[(triple8)] Harry is nice.[(triple9)] Harry is rough.[(triple10)] @1: Harry is round.[(((triple9 triple10) -> rule1))]