Bob is green. Bob is quiet. Charlie is cold. Charlie is rough. Dave is kind. Dave is quiet. Dave is rough. Harry is cold. Harry is green. Harry is kind. Harry is nice. Harry is round. All quiet things are cold.
Dave is cold.
@0: Bob is green.[(triple1)] Bob is quiet.[(triple2)] Charlie is cold.[(triple3)] Charlie is rough.[(triple4)] Dave is kind.[(triple5)] Dave is quiet.[(triple6)] Dave is rough.[(triple7)] Harry is cold.[(triple8)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is nice.[(triple11)] Harry is round.[(triple12)] @1: Bob is cold.[(((triple2) -> rule1))] Dave is cold.[(((triple6) -> rule1))]