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