Charlie is blue. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is young. Dave is blue. Dave is furry. Dave is kind. Dave is quiet. Dave is smart. Dave is not young. Fiona is blue. Fiona is furry. Fiona is smart. Harry is quiet. Young things are blue.
Harry is not blue.
@0: Charlie is blue.[(triple1 OR ((triple5) -> rule1))] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4)] Charlie is young.[(triple5)] Dave is blue.[(triple6)] Dave is furry.[(triple7)] Dave is kind.[(triple8)] Dave is not young.[(triple11)] Dave is quiet.[(triple9)] Dave is smart.[(triple10)] Fiona is blue.[(triple12)] Fiona is furry.[(triple13)] Fiona is smart.[(triple14)] Harry is quiet.[(triple15)]