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