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