Dave is cold. Dave is furry. Dave is kind. Dave is red. Dave is young. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is young. Harry is cold. Harry is kind. Harry is quiet. Harry is red. If someone is kind then they are nice. All cold people are quiet.
Harry is furry.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is red.[(triple4)] Dave is young.[(triple5)] Fiona is cold.[(triple6)] Fiona is furry.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9 OR ((triple8) -> rule1))] Fiona is quiet.[(triple10 OR ((triple6) -> rule2))] Fiona is red.[(triple11)] Fiona is young.[(triple12)] Harry is cold.[(triple13)] Harry is kind.[(triple14)] Harry is quiet.[(triple15 OR ((triple13) -> rule2))] Harry is red.[(triple16)] @1: Dave is nice.[(((triple3) -> rule1))] Dave is quiet.[(((triple1) -> rule2))] Harry is nice.[(((triple14) -> rule1))]