Dave is big. Dave is quiet. Dave is rough. Dave is smart. Fiona is kind. Fiona is quiet. Gary is green. Gary is kind. Harry is big. Harry is furry. Harry is kind. Harry is smart. Quiet, furry things are green. All furry, rough things are quiet. If Fiona is quiet then Fiona is furry.
Dave is not rough.
@0: Dave is big.[(triple1)] Dave is quiet.[(triple2)] Dave is rough.[(triple3)] Dave is smart.[(triple4)] Fiona is kind.[(triple5)] Fiona is quiet.[(triple6)] Gary is green.[(triple7)] Gary is kind.[(triple8)] Harry is big.[(triple9)] Harry is furry.[(triple10)] Harry is kind.[(triple11)] Harry is smart.[(triple12)] @1: Fiona is furry.[(((triple6) -> rule3))] @2: Fiona is green.[(((triple6 ((triple6) -> rule3)) -> rule1))]