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