Charlie is big. Charlie is blue. Dave is cold. Dave is furry. Dave is quiet. Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is quiet. Quiet things are big.
Charlie is not nice.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Dave is quiet.[(triple5)] Fiona is big.[(triple6 OR ((triple10) -> rule1))] Fiona is blue.[(triple7)] Fiona is cold.[(triple8)] Fiona is furry.[(triple9)] Fiona is quiet.[(triple10)] @1: Dave is big.[(((triple5) -> rule1))]