Charlie is big. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is smart. Charlie is white. Dave is cold. Dave is smart. Fiona is big. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is smart. Fiona is white. Furry, white things are quiet.
Dave is big.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is kind.[(triple4)] Charlie is quiet.[(triple5 OR ((triple3 triple7) -> rule1))] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Dave is cold.[(triple8)] Dave is smart.[(triple9)] Fiona is big.[(triple10)] Fiona is cold.[(triple11)] Fiona is furry.[(triple12)] Fiona is kind.[(triple13)] Fiona is smart.[(triple14)] Fiona is white.[(triple15)] @1: Fiona is quiet.[(((triple12 triple15) -> rule1))]