Charlie is big. Charlie is cold. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is smart. Dave is big. Dave is cold. Dave is nice. Dave is quiet. Dave is smart. Fiona is big. Fiona is rough. Harry is cold. Harry is nice. If someone is rough then they are round.
Dave is cold.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6 OR ((triple5) -> rule1))] Charlie is smart.[(triple7)] Dave is big.[(triple8)] Dave is cold.[(triple9)] Dave is nice.[(triple10)] Dave is quiet.[(triple11)] Dave is smart.[(triple12)] Fiona is big.[(triple13)] Fiona is rough.[(triple14)] Harry is cold.[(triple15)] Harry is nice.[(triple16)] @1: Fiona is round.[(((triple14) -> rule1))]