Bob is blue. Bob is kind. Bob is quiet. Dave is blue. Erin is green. Erin is nice. Erin is quiet. Erin is round. Erin is young. Harry is blue. Harry is green. Harry is kind. Harry is nice. Harry is quiet. Harry is round. Harry is young. All green, blue things are nice.
Dave is quiet.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3)] Dave is blue.[(triple4)] Erin is green.[(triple5)] Erin is nice.[(triple6)] Erin is quiet.[(triple7)] Erin is round.[(triple8)] Erin is young.[(triple9)] Harry is blue.[(triple10)] Harry is green.[(triple11)] Harry is kind.[(triple12)] Harry is nice.[(triple13 OR ((triple11 triple10) -> rule1))] Harry is quiet.[(triple14)] Harry is round.[(triple15)] Harry is young.[(triple16)]