Bob is big. Bob is not kind. Bob is nice. Bob is quiet. Bob is not round. Bob is white. Fiona is not big. Fiona is kind. Fiona is quiet. Fiona is round. Harry is not big. Harry is nice. Harry is not quiet. Harry is round. Harry is smart. If Harry is smart then Harry is not kind. If someone is white then they are not round. If someone is white and not nice then they are not smart.
Fiona is big.
@0: Bob is big.[(triple1)] Bob is nice.[(triple3)] Bob is not kind.[(triple2)] Bob is not round.[(triple5 OR ((triple6) -> rule2))] Bob is quiet.[(triple4)] Bob is white.[(triple6)] Fiona is kind.[(triple8)] Fiona is not big.[(triple7)] Fiona is quiet.[(triple9)] Fiona is round.[(triple10)] Harry is nice.[(triple12)] Harry is not big.[(triple11)] Harry is not quiet.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)] @1: Harry is not kind.[(((triple15) -> rule1))]