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