Dave is not big. Dave is blue. Dave is quiet. Dave is not red. Fiona is cold. Fiona is red. Gary is not big. Gary is blue. Harry is big. Harry is cold. Harry is quiet. Harry is round. If something is round and big then it is cold. If something is big and smart then it is cold. If something is smart and not red then it is round. If Harry is big and Harry is red then Harry is cold. If Dave is big and Dave is smart then Dave is blue. Quiet things are blue. All round, smart things are not blue. If Harry is not cold then Harry is quiet.
Fiona is quiet.
@0: Dave is blue.[(triple2 OR ((triple3) -> rule6))] Dave is not big.[(triple1)] Dave is not red.[(triple4)] Dave is quiet.[(triple3)] Fiona is cold.[(triple5)] Fiona is red.[(triple6)] Gary is blue.[(triple8)] Gary is not big.[(triple7)] Harry is big.[(triple9)] Harry is cold.[(triple10 OR ((triple12 triple9) -> rule1))] Harry is quiet.[(triple11)] Harry is round.[(triple12)] @1: Harry is blue.[(((triple11) -> rule6))]