Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Dave is blue. Dave is cold. Dave is furry. Dave is green. Dave is quiet. Harry is cold. Harry is furry. Harry is nice. If something is quiet then it is nice. If something is nice and cold then it is furry. If Charlie is furry then Charlie is nice.
Harry is green.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Dave is blue.[(triple5)] Dave is cold.[(triple6)] Dave is furry.[(triple7 OR ((((triple9) -> rule1) triple6) -> rule2))] Dave is green.[(triple8)] Dave is quiet.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11 OR ((triple12 triple10) -> rule2))] Harry is nice.[(triple12)] @1: Charlie is nice.[(((triple3) -> rule3))] Dave is nice.[(((triple9) -> rule1))]