Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is white. Gary is furry. Gary is green. Gary is quiet. Gary is not white. Harry is furry. Harry is green. Harry is nice. Harry is not smart. Harry is white. If someone is nice and not white then they are not green. Smart people are kind.
Harry is not kind.
@0: Fiona is furry.[(triple1)] Fiona is green.[(triple2)] Fiona is kind.[(triple3 OR ((triple6) -> rule2))] Fiona is nice.[(triple4)] Fiona is quiet.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7)] Gary is furry.[(triple8)] Gary is green.[(triple9)] Gary is not white.[(triple11)] Gary is quiet.[(triple10)] Harry is furry.[(triple12)] Harry is green.[(triple13)] Harry is nice.[(triple14)] Harry is not smart.[(triple15)] Harry is white.[(triple16)]