Bob is big. Bob is green. Fiona is big. Fiona is green. Fiona is young. Gary is big. Gary is blue. Gary is green. Gary is young. Harry is big. Harry is blue. Harry is green. Harry is nice. Harry is quiet. Harry is rough. Harry is young. All nice people are quiet. If someone is big then they are quiet.
Bob is rough.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Fiona is big.[(triple3)] Fiona is green.[(triple4)] Fiona is young.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7)] Gary is green.[(triple8)] Gary is young.[(triple9)] Harry is big.[(triple10)] Harry is blue.[(triple11)] Harry is green.[(triple12)] Harry is nice.[(triple13)] Harry is quiet.[(triple14 OR ((triple10) -> rule2) OR ((triple13) -> rule1))] Harry is rough.[(triple15)] Harry is young.[(triple16)] @1: Bob is quiet.[(((triple1) -> rule2))] Fiona is quiet.[(((triple3) -> rule2))] Gary is quiet.[(((triple6) -> rule2))]