Bob is furry. Bob is green. Bob is nice. Bob is not quiet. Bob is rough. Fiona is nice. Fiona is rough. Gary is not furry. Gary is not kind. Gary is quiet. Harry is green. Harry is rough. All nice people are not kind. If someone is green and not nice then they are furry.
Fiona is not furry.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is not quiet.[(triple4)] Bob is rough.[(triple5)] Fiona is nice.[(triple6)] Fiona is rough.[(triple7)] Gary is not furry.[(triple8)] Gary is not kind.[(triple9)] Gary is quiet.[(triple10)] Harry is green.[(triple11)] Harry is rough.[(triple12)] @1: Bob is not kind.[(((triple3) -> rule1))] Fiona is not kind.[(((triple6) -> rule1))]