Dave is blue. Dave is cold. Dave is nice. Dave is quiet. Dave is smart. Fiona is big. Fiona is blue. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is smart. Harry is big. Harry is blue. Harry is smart. Harry is white. If something is smart then it is blue. If something is quiet and cold then it is white.
Dave is not big.
@0: Dave is blue.[(triple1 OR ((triple5) -> rule1))] Dave is cold.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Dave is smart.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7 OR ((triple11) -> rule1))] Fiona is cold.[(triple8)] Fiona is nice.[(triple9)] Fiona is quiet.[(triple10)] Fiona is smart.[(triple11)] Harry is big.[(triple12)] Harry is blue.[(triple13 OR ((triple14) -> rule1))] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Dave is white.[(((triple4 triple2) -> rule2))] Fiona is white.[(((triple10 triple8) -> rule2))]