Charlie is blue. Charlie is rough. Dave is cold. Dave is furry. Fiona is furry. Fiona is rough. Fiona is smart. If Charlie is big then Charlie is quiet. All furry people are cold.
Fiona is not smart.
@0: Charlie is blue.[(triple1)] Charlie is rough.[(triple2)] Dave is cold.[(triple3 OR ((triple4) -> rule2))] Dave is furry.[(triple4)] Fiona is furry.[(triple5)] Fiona is rough.[(triple6)] Fiona is smart.[(triple7)] @1: Fiona is cold.[(((triple5) -> rule2))]