Dave is red. Dave is rough. Erin is smart. Fiona is cold. Fiona is quiet. Harry is cold. Harry is quiet. Harry is red. Harry is rough. Harry is smart. If Erin is rough then Erin is round. If someone is round and cold then they are quiet. Rough people are smart.
Erin is not quiet.
@0: Dave is red.[(triple1)] Dave is rough.[(triple2)] Erin is smart.[(triple3)] Fiona is cold.[(triple4)] Fiona is quiet.[(triple5)] Harry is cold.[(triple6)] Harry is quiet.[(triple7)] Harry is red.[(triple8)] Harry is rough.[(triple9)] Harry is smart.[(triple10 OR ((triple9) -> rule3))] @1: Dave is smart.[(((triple2) -> rule3))]