Bob is furry. Bob is not green. Bob is kind. Bob is nice. Bob is red. Bob is rough. Bob is not young. Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. Fiona is red. Fiona is rough. Fiona is young. If Bob is kind and Bob is rough then Bob is furry.
Fiona is green.
@0: Bob is furry.[(triple1 OR ((triple3 triple6) -> rule1))] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is not green.[(triple2)] Bob is not young.[(triple7)] Bob is red.[(triple5)] Bob is rough.[(triple6)] Fiona is furry.[(triple8)] Fiona is green.[(triple9)] Fiona is kind.[(triple10)] Fiona is nice.[(triple11)] Fiona is red.[(triple12)] Fiona is rough.[(triple13)] Fiona is young.[(triple14)]