Bob is big. Bob is furry. Bob is green. Bob is nice. Bob is rough. Bob is round. Bob is not smart. Fiona is big. Fiona is furry. Fiona is green. Fiona is not nice. Fiona is round. Big things are round. All big things are furry.
Fiona is rough.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2 OR ((triple1) -> rule2))] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is not smart.[(triple7)] Bob is rough.[(triple5)] Bob is round.[(triple6 OR ((triple1) -> rule1))] Fiona is big.[(triple8)] Fiona is furry.[(triple9 OR ((triple8) -> rule2))] Fiona is green.[(triple10)] Fiona is not nice.[(triple11)] Fiona is round.[(triple12 OR ((triple8) -> rule1))]