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