Bob is furry. Bob is green. Bob is quiet. Bob is rough. Bob is smart. Bob is white. Bob is young. Charlie is smart. Charlie is white. Charlie is young. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is smart. Fiona is white. Fiona is young. If Bob is green then Bob is rough.
Charlie is quiet.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4 OR ((triple2) -> rule1))] Bob is smart.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Charlie is smart.[(triple8)] Charlie is white.[(triple9)] Charlie is young.[(triple10)] Fiona is furry.[(triple11)] Fiona is quiet.[(triple12)] Fiona is rough.[(triple13)] Fiona is smart.[(triple14)] Fiona is white.[(triple15)] Fiona is young.[(triple16)]