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