Dave is cold. Dave is furry. Dave is green. Dave is kind. Dave is quiet. Fiona is blue. Fiona is rough. Gary is quiet. Harry is kind. Harry is rough. All green, cold things are kind. If something is quiet and blue then it is cold. Rough things are kind.
Fiona is quiet.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4 OR ((triple3 triple1) -> rule1))] Dave is quiet.[(triple5)] Fiona is blue.[(triple6)] Fiona is rough.[(triple7)] Gary is quiet.[(triple8)] Harry is kind.[(triple9 OR ((triple10) -> rule3))] Harry is rough.[(triple10)] @1: Fiona is kind.[(((triple7) -> rule3))]