Bob is not green. Bob is not nice. Bob is red. Bob is rough. Bob is smart. Bob is white. Fiona is green. Fiona is not quiet. Gary is rough. Harry is green. Harry is nice. Harry is quiet. Rough people are smart. All red people are white. All smart people are rough.
Gary is quiet.
@0: Bob is not green.[(triple1)] Bob is not nice.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4 OR ((triple5) -> rule3))] Bob is smart.[(triple5 OR ((triple4) -> rule1))] Bob is white.[(triple6 OR ((triple3) -> rule2))] Fiona is green.[(triple7)] Fiona is not quiet.[(triple8)] Gary is rough.[(triple9)] Harry is green.[(triple10)] Harry is nice.[(triple11)] Harry is quiet.[(triple12)] @1: Gary is smart.[(((triple9) -> rule1))]