Dave is kind. Dave is nice. Dave is quiet. Fiona is not big. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is not quiet. Fiona is red. Harry is big. Harry is not blue. Harry is kind. Harry is nice. Harry is quiet. Harry is red. Harry is rough. If someone is kind and not big then they are blue. If Harry is blue and Harry is not big then Harry is quiet. Blue, big people are rough. All red, blue people are rough. If someone is big then they are rough. If Fiona is not red then Fiona is quiet. Rough, red people are nice. If Dave is not rough and Dave is not blue then Dave is not quiet.
Fiona is not quiet.
@0: Dave is kind.[(triple1)] Dave is nice.[(triple2)] Dave is quiet.[(triple3)] Fiona is blue.[(triple5 OR ((triple6 triple4) -> rule1))] Fiona is kind.[(triple6)] Fiona is nice.[(triple7 OR ((((triple9 triple5) -> rule4) triple9) -> rule7) OR ((((triple9 ((triple6 triple4) -> rule1)) -> rule4) triple9) -> rule7))] Fiona is not big.[(triple4)] Fiona is not quiet.[(triple8)] Fiona is red.[(triple9)] Harry is big.[(triple10)] Harry is kind.[(triple12)] Harry is nice.[(triple13 OR ((triple16 triple15) -> rule7) OR ((((triple10) -> rule5) triple15) -> rule7))] Harry is not blue.[(triple11)] Harry is quiet.[(triple14)] Harry is red.[(triple15)] Harry is rough.[(triple16 OR ((triple10) -> rule5))] @1: Fiona is rough.[(((triple9 triple5) -> rule4) OR ((triple9 ((triple6 triple4) -> rule1)) -> rule4))]