Dave is big. Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Gary is blue. Gary is green. Gary is nice. Harry is furry. Harry is kind. Harry is quiet. All green things are blue.
Harry is green.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Dave is quiet.[(triple6)] Gary is blue.[(triple7 OR ((triple8) -> rule1))] Gary is green.[(triple8)] Gary is nice.[(triple9)] Harry is furry.[(triple10)] Harry is kind.[(triple11)] Harry is quiet.[(triple12)] @1: Dave is blue.[(((triple3) -> rule1))]