Dave is blue. Dave is nice. Dave is quiet. Dave is smart. Dave is white. Fiona is big. Fiona is nice. Fiona is quiet. Fiona is white. Fiona is young. Harry is big. Harry is blue. Harry is nice. Harry is smart. Harry is white. Harry is young. Blue, young things are white. White, nice things are young.
Fiona is not smart.
@0: Dave is blue.[(triple1)] Dave is nice.[(triple2)] Dave is quiet.[(triple3)] Dave is smart.[(triple4)] Dave is white.[(triple5)] Fiona is big.[(triple6)] Fiona is nice.[(triple7)] Fiona is quiet.[(triple8)] Fiona is white.[(triple9)] Fiona is young.[(triple10 OR ((triple9 triple7) -> rule2))] Harry is big.[(triple11)] Harry is blue.[(triple12)] Harry is nice.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15 OR ((triple12 triple16) -> rule1))] Harry is young.[(triple16 OR ((triple15 triple13) -> rule2))] @1: Dave is young.[(((triple5 triple2) -> rule2))]