Dave is blue. Dave is nice. Dave is not rough. Dave is white. Fiona is big. Fiona is quiet. Fiona is not white. Harry is not big. Harry is blue. Harry is nice. Harry is quiet. Harry is not rough. If someone is big then they are blue. All quiet people are not rough.
Fiona is not big.
@0: Dave is blue.[(triple1)] Dave is nice.[(triple2)] Dave is not rough.[(triple3)] Dave is white.[(triple4)] Fiona is big.[(triple5)] Fiona is not white.[(triple7)] Fiona is quiet.[(triple6)] Harry is blue.[(triple9)] Harry is nice.[(triple10)] Harry is not big.[(triple8)] Harry is not rough.[(triple12 OR ((triple11) -> rule2))] Harry is quiet.[(triple11)] @1: Fiona is blue.[(((triple5) -> rule1))] Fiona is not rough.[(((triple6) -> rule2))]