Charlie is cold. Dave is not smart. Fiona is big. Fiona is not blue. Fiona is quiet. Fiona is red. Harry is cold. If something is red and not blue then it is smart. All quiet things are smart. If something is blue then it is big. If Fiona is blue then Fiona is not red. Quiet things are cold. Blue, young things are cold. If something is cold and not young then it is not quiet. If Harry is big and Harry is young then Harry is quiet.
Fiona is not quiet.
@0: Charlie is cold.[(triple1)] Dave is not smart.[(triple2)] Fiona is big.[(triple3)] Fiona is not blue.[(triple4)] Fiona is quiet.[(triple5)] Fiona is red.[(triple6)] Harry is cold.[(triple7)] @1: Fiona is cold.[(((triple5) -> rule5))] Fiona is smart.[(((triple5) -> rule2) OR ((triple6 triple4) -> rule1))]