Bob is green. Bob is quiet. Bob is red. Bob is young. Fiona is green. Fiona is quiet. Fiona is young. Gary is green. Gary is red. Gary is smart. If Gary is red and Gary is not young then Gary is smart. Young people are quiet. If someone is green and not smart then they are quiet.
Gary is not quiet.
@0: Bob is green.[(triple1)] Bob is quiet.[(triple2 OR ((triple4) -> rule2))] Bob is red.[(triple3)] Bob is young.[(triple4)] Fiona is green.[(triple5)] Fiona is quiet.[(triple6 OR ((triple7) -> rule2))] Fiona is young.[(triple7)] Gary is green.[(triple8)] Gary is red.[(triple9)] Gary is smart.[(triple10)]